This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.

Inhalt

1 The Role of Specification.- 2 Specification Activities.- 3 Specification Qualities.- 4 Abstraction.- 5 Formal Systems.- 6 Logic.- 7 Set Theory and Relations.- 8 Algebraic Specification.- 9 Vienna Development Method.- 10 The Z Notation.- 11 Larch.