Software Specification Methods: An Overview Using a Case Study - Tapa dura

Habrias, Henri

9781905209347: Software Specification Methods: An Overview Using a Case Study

Tapa dura

ISBN 10: 1905209347 ISBN 13: 9781905209347

Editorial: Hermes Science Publishing, 2006

Ver todas las copias de esta edici�n ISBN.

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.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Rese�a del editor:

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.

Biograf�a del autor:

Henri Habrias, University of Nantes, France Marc Frappier, University of Sherbrooke, Canada

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.