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.
Read More
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.
Read Less
Add this copy of Software Specification Methods: An Overview Using a to cart. $112.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2000 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Trade paperback (US). Glued binding. 282 p. Contains: Unspecified, Illustrations, black & white. Formal Approaches to Computing and Information Technology (F.
