Synopsis
Part I: Specification Fundamentals
The Role of Specification
Specification Activities
Specification Qualities
Abstraction
Part II: Formalism Fundamentals
Formal Systems
Automata
Extended Finite State Machine
Classification of Formal Specification Methods
Part III: Logic
Propositional Logic
Predicate Logic
Temporal Logic
Part IV: Mathematical Abstractions for Model-based Specifications
Set Theory and Relations
Part V: Property-oriented Specifications
Algebraic Specification
Larch
Calculus of Communicating Systems
Part VI: Model-based Specifications
Vienna Development Method
The Z Notation
The Object-Z Specification Language
The B-Method
"synopsis" may belong to another edition of this title.
