Software Specification Methods
Author | : Henri Habrias |
Publisher | : John Wiley & Sons |
Total Pages | : 349 |
Release | : 2013-03-01 |
ISBN-10 | : 9781118613948 |
ISBN-13 | : 1118613945 |
Rating | : 4/5 (945 Downloads) |
Book Synopsis Software Specification Methods by : Henri Habrias
Download or read book Software Specification Methods written by Henri Habrias and published by John Wiley & Sons. This book was released on 2013-03-01 with total page 349 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.