Sinopsis
The 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.
"Sinopsis" puede pertenecer a otra edición de este libro.
