Formal Specification and Design

ISBN: 9780521435925 出版年：1992 页码：353 L M G Feijs H B M Jonkers Cambridge University Press

Part I. Algebraic Specification: 1. Introducing the basic concepts 2. Setting up algebraic specifications 3. Structuring algebraic specifications 4. Implementing algebraic specifications Part II. State-Based Specification: 5. From algebras to states 6. Setting up state-based specification 7. Structuring state-based specification 8. Implementing state-based specification Part III. Advanced Techniques: 9. Theoretical topics 10. Additional language constructs 11. Towards large systems Bibliography Appendices Index.