Logga in

Frappier, Marc

Software Specification Methods

Frappier, Marc - Software Specification Methods, e-bok

DRM-begränsningar

Skriva ut30 sidor with an additional page accrued varje dag, capped at 30 sidor
Kopiera till urklipp5 utdrag

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
 
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

Liknande e-böcker