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

Mechanical Instability
by Tomasz Krysinski, Francois Malburet
Simulation and Modeling of Systems of Systems
by Pascal Cantot (Editor), Dominique Luzeaux (Editor)
Discrete-element Modeling of Granular Materials
by Farhang Radjaï (Editor), Frédéric Dubois (Editor)
Extractive Metallurgy 1: Basic Thermodynamics and Kinetics
by Alain Vignes
Local Networks and the Internet: From Protocols to Interconnection
by Laurent Toutain, Ana Minaburo

General

Interoperability of Enterprise Software and Applications: Workshops of the INTEROP-ESA International Conference (EI2N, WSI, ISIDI, and IEHENA2005)
by Hervé Panetto (Editor)
Interoperability for Enterprise Software and Applications: Proceedings of the Workshops and the Doctorial Symposium of the Second IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2006
by Hervé Panetto (Editor), Nacer Boudjlida (Editor)
Trends in Constraint Programming
by Frédéric Benhamou (Editor), Narendra Jussien (Editor), Barry A. O'Sullivan (Editor)
Mathematical Modeling and Simulation: Introduction for Scientists and Engineers
by Kai Velten
Handbook of Virtual Humans
by Nadia Magnenat-Thalmann (Editor), Daniel Thalmann (Editor)
Back to Top