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 to cart. $138.90, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2006 by Wiley-ISTE.
