Software Specification Methods: An Overview Using a Case Study - Couverture rigide

Habrias, Henri

 
9781905209347: Software Specification Methods: An Overview Using a Case Study
Couverture rigide
ISBN 10 : 1905209347 ISBN 13 : 9781905209347
Editeur : ISTE Ltd and John Wiley & Sons Inc, 2006

Synopsis

An up to date survey of specification techniques that provides a basic overview of the main methods with a practical focus. Covers the techniques of: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Each technique is demonstrated using the same case study to enable the reader to easily compare and contrast the different techniques.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
ISTE Ltd and John Wiley & Sons Inc
Date d'édition
2006
Langue
anglais
ISBN 10 
1905209347
ISBN 13 
9781905209347
Reliure
Relié
Nombre de pages
418
Coordonnées du fabricant
non disponible
Personne responsable
non disponible