Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement - Rilegato

Libro 13 di 16: Monographs in Computer Science

Broy, Manfred; Stølen, Ketil

 
9780387950730: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Rilegato
ISBN 10: 0387950737 ISBN 13: 9780387950730
Casa editrice: Springer-Verlag New York Inc., 2001

Sinossi

Today's distributed systems are characterized by interactions, often complex, between many different hardware/software components cooperating and exchanging information. To reduce the complexity of the development of interactive systems, experts employ descriptions, or specifications, of a given system's behavior and/or structure. This book provides 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 the 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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

1.Introduction; 2. A Guided Tour; 3. Basics; 4. Streams; 5. Specifications; 6. Examples; 7. Properties of Specifications; 8. Equational Specifications of State Transitions; 9. Access Control System; 10. Tables and Diagrams; 11. Abracadabra Protocol; 12. A/G Specifications; 13. Memory with Locking; 14. Refinement; 15. Behavioral Refinement; 16. Interface Refinement; 17. Conditional Refinement; 18. Final Remarks; A. Operators for Stream Tuples; B. Glossary of Terms; C. Bibliography; D. Glossary; E. Index

Product Description

Book by Broy Manfred Stlen Ketil

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag New York Inc.
Data di pubblicazione
2001
Lingua
Inglese
ISBN 10 
0387950737
ISBN 13 
9780387950730
Rilegatura
Copertina rigida
Numero di pagine
363
Contatto del produttore
non disponibile
Persona responsabile
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

9781461265184: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Edizione in evidenza

ISBN 10:  1461265185 ISBN 13:  9781461265184
Casa editrice: Springer, 2012
Brossura