Frappier, Marc
Software Specification Methods
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.
Keywords: main methods; title; overview; clear; focus; reader; practical; knowledge; techniques; uml; approaches; p; jonathan; contributors; part; list; vii; notation; process; z specification; case; specification; natural; description; language, Programming & Software Development, Programming & Software Development
- Editor
- Frappier, Marc
- Habrias, Henri
- Publisher
- John Wiley and Sons, Inc.
- Publication year
- 2006
- Language
- en
- Edition
- 1
- Series
- ISTE
- Page amount
- 418 pages
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (ePUB)
- 9781118613948
- Printed ISBN
- 9781905209347