ISBN-10:
0387950737
ISBN-13:
9780387950730
Pub. Date:
04/27/2001
Publisher:
Springer New York
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement / Edition 1

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement / Edition 1

by Manfred Broy, Ketil Stïlen

Hardcover

Current price is , Original price is $99.99. You
Select a Purchase Option (2001)
  • purchase options

Product Details

ISBN-13: 9780387950730
Publisher: Springer New York
Publication date: 04/27/2001
Series: Monographs in Computer Science
Edition description: 2001
Pages: 348
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

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 Prool; 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

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews