Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig

Manfred Broy and SpringerLink (Online service)

Theory and methodology of assumption/commitment based system interface specification and architectural contracts

Published in: Formal methods in system design : an international journal 52, 1, 25.11.2017, date:2.2018

Title

Theory and methodology of assumption/commitment based system interface specification and architectural contracts

Involved 

Manfred Broy (Verfasser)
SpringerLink (Online service) (Sonstige)

Published in

Formal methods in system design : an international journal 52, 1, 25.11.2017, date:2.2018, Seite 33-87

Published

2017

Language

Englisch

Country

Niederlande

Topic

Informatik

Subject

Engineering.
Circuits and Systems.
Electrical Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Software Engineering/Programming and Operating Systems.

DDC notation

004.019

Persistent identifier

urn:nbn:de:1111-201803203913 (URN)
10.1007/s10703-017-0304-9 (DOI)

Record ID

1154767361
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal