Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science) - Hardcover

Buch 13 von 16: Monographs in Computer Science

Stølen, Ketil; Broy, Manfred

 
9780387950730: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)
Hardcover
ISBN 10: 0387950737 ISBN 13: 9780387950730
Verlag: Springer, 2001

Inhaltsangabe

A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2001
Sprache
Englisch
ISBN 10 
0387950737
ISBN 13 
9780387950730
Einband
Tapa dura
Anzahl der Seiten
370
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781461265184: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  1461265185 ISBN 13:  9781461265184
Verlag: Springer, 2012
Softcover