Software Specification Methods
Product Details
- Hardcover: 384 pages
- Publisher: ISTE Publishing Company; New Ed edition (February 4, 2008)
- Language: English
- ISBN-10: 1905209347
- ISBN-13: 978-1905209347
- Product Dimensions: 9.3 x 6.2 x 1.2 inches
- Shipping Weight: 1.8 pounds
Special Offers and Product Promotions
- Pre-order this item now and you will receive an additional 5% off at checkout. Also, if the Amazon.com price decreases between your order time and release date, you’ll receive the lowest price as well as the 5% pre-order discount. Here’s how (restrictions apply)
Editorial Reviews
Book Description
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Book Info
An introduction to a set of software specification methods, using one case study to introduce all of the methods. By introducing all of the specifications in this manner, the reader is allowed to switch from one method to another and to compare methods. Softcover. DLC: Formal methods (Computer Science). –This text refers to an out of print or unavailable edition of this title.
