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