Software Specification Methods
Download or Read eBook Software Specification Methods PDF 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.
| Author | : Henri Habrias |
| Publisher | : John Wiley & Sons |
| Total Pages | : 349 |
| Release | : 2013-03-01 |
| ISBN-10 | : 9781118613948 |
| ISBN-13 | : 1118613945 |
| Rating | : 4/5 (48 Downloads) |
Book Synopsis Software Specification Methods by : Henri Habrias
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.
