The Disc Shop

domain for sale



The Disc Shop

Computer Talk - Business Computer - Computer Games - Computer Software

Computer Shop - Computer Mice - New Computer - Antivirus Software






Software Specification Methods

RRP $414.99

Click on the Google Preview image above to read some pages of this book!

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.



Search

The Disc Shop Articles

Computer Talk Business Computer Computer Games Computer Software
Computer Shop Computer Mice New Computer Antivirus Software
Computer Consulting Home Computer

The Disc Shop Books

Computer Talk Business Computer Computer Games Computer Software
Computer Shop Computer Mice New Computer Antivirus Software
Computer Consulting Home Computer

The Disc Shop

domain for sale