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.
Nyckelord: 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
- Utgivare
- Frappier, Marc
- Habrias, Henri
- Utgivare
- John Wiley and Sons, Inc.
- Utgivningsår
- 2006
- Språk
- en
- Utgåva
- 1
- Serie
- ISTE
- Sidantal
- 418 sidor
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (ePUB)
- 9781118613948
- Tryckt ISBN
- 9781905209347