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

Manfred Broy

ISBN 10: 1461265185 / ISBN 13: 9781461265184

Editore: Springer, 2012

Riguardo questo articolo

reprint edition. 364 pages. 9.25x6.10x0.79 inches. In Stock.

Codice articolo x-1461265185

Dati bibliografici

• Titolo: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)
• Editore: Springer
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 1461265185
• ISBN 13: 9781461265184
• Rilegatura: Paperback
• Condizione: Brand New
• Peso: 0,56 chilogrammi

Descrizione articolo

Riassunto

This book presents a mathematical and logical approach to program and software development suitable for large, distributed systems. The emphasis is on modular system development, and systems engineering, and it explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces. An essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering.

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