Key software specification methods are introduced in this practical approach that applies learned techniques to real-life situations. Each method is introduced through a series of questions asked by an imaginary user and presented with the same invoicing-system example, allowing readers to compare and contrast each method. Among the techniques covered are B, Estelle, LOTOS, SAZ, OMT, SDL, TLA+, UML, VHDL, and Z.
The Disc Shop Articles
The Disc Shop Books