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

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

This book presents a fundamental mathematical and logical approach to soft­ ware and systems engineering. Considering the large number of books de­ scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi­ neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi­ cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools.

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
348
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
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