Description |
xii, 615 pages ; 24 cm |
Series |
IFIP state-of-the-art reports |
|
IFIP state-of-the-art reports.
|
Contents |
1. The Role of Formal Specifications / Marie-Claude Gaudel and Gilles Bernot -- 2. Algebraic Preliminaries / Donald Sannella and Andrzej Tarlecki -- 3. From Total Equational to Partial First-Order Logic / Maura Cerioli, Till Mossakowski and Horst Reichel -- 4. Institutions: An Abstract Framework for Formal Specifications / Andrzej Tarlecki -- 5. Specification Semantics / Horst Reichel -- 6. Structuring and Modularity / Fernando Orejas -- 7. Refinement and Implementation / Hartmut Ehrig and Hans-Jorg Kreowski -- 8. Specification Languages / Donald Sannella and Martin Wirsing -- 9. Term Rewriting / Helene Kirchner -- 10. Proof in Flat Specifications / Peter Padawitz -- 11. Proof Systems for Structured Specifications and Their Refinements / Michel Bidoit, Maria Victoria Cengarle and Rolf Hennicker -- 12. Object Specification / Hans-Dieter Ehrich -- 13. Algebraic Specification of Concurrent Systems / Egidio Astesiano, Manfred Broy and Gianna Reggio |
|
14. Formalization of the Development Process / David Basin and Bernd Krieg-Bruckner |
Bibliography |
Includes bibliographical references and index |
Subject |
Software engineering.
|
|
Formal methods (Computer science)
|
|
System design.
|
Author |
Kreowski, H.-J. (Hans-Jörg)
|
|
Astesiano, E. (Egidio), 1939-
|
|
Krieg-Brückner, B. (Bernd)
|
LC no. |
99038275 |
ISBN |
3540637729 hardcover alkaline paper |
|