Algebraic Foundations of Systems Specification
IFIP State-of-the-Art Reports
Kreowski, Hans-Jörg / Krieg-Brückner, Bernd
Erschienen am
01.10.2011, Auflage: 1. Auflage
Beschreibung
InhaltsangabeThe Role of Formal Specifications.- Algebraic Preliminaries.- From Total Equational to Partial First-Order Logic.- Institutions: An Abstract Framework for Formal Specifications.- Specification Semantics.- Structuring and Modularity.- Refinement and Implementation.- Specification Languages.- Term Rewriting.- Proof in Flat Specifications.- Proof Systems for Structured Specifications and Their Refinements.- Object Specification.- Algebraic Specification of Concurrent Systems.- Formalization of the Development Process.- Author Index.
