Software Specification Methods : An Overview Using a Case Study

An up to date survey of specification techniques that provides a basic overview of the main methods with a practical focus. Covers the techniques of: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Each technique is demonstrated using the same case study to enable the reader to easily compare and contrast the different techniques.