Wiley.com
Print this page Share

Software Specification Methods

Henri Habrias (Editor), Marc Frappier (Editor)
ISBN: 978-1-905209-34-7
Hardcover
418 pages
May 2006, Wiley-ISTE
List Price: US $189.25
Government Price: US $130.52
Enter Quantity:   Buy
Software Specification Methods (1905209347) cover image

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.

Related Titles

More From This Series

by Tomasz Krysinski, Francois Malburet
by Pascal Cantot (Editor), Dominique Luzeaux (Editor)
by Farhang Radjaï (Editor), Frédéric Dubois (Editor)

General

by Frédéric Benhamou (Editor), Narendra Jussien (Editor), Barry A. O'Sullivan (Editor)
by Nadia Magnenat-Thalmann (Editor), Daniel Thalmann (Editor)
Back to Top