Formal Specification
Subtitle: Techniques and Applications
By: by Nimal Nissanke
Publisher: Springer London
Published: 1999
Place of publication: London
Language: eng
Format: [electronic resource] :
Number of pages: 295
ISBN-13: 9781447107910
Table of contents: title: Introduction; title: Schema Language; title: An Approach to Specification; title: Specification for Fun; title: A Specifiction for Clocks; title: Reasoning About Specifications; title: Specification of a Network Protocal; title: Object Oriented Specification; title: Specification of Safety; title: An Overview of VDM; title: Algebraic Approach to Specification; title: Algebraic Specification in CLEAR; title: A. Exercises on Reading Formal Specifications; title: B. Exercises on Writing Formal Specifications; title: C. The Mathematical Notation; title: References; title: Index.