Software Specification Methods: An Overview Using a Case Study - Hardcover

 
9781905209347: Software Specification Methods: An Overview Using a Case Study
Hardcover
ISBN 10: 1905209347 ISBN 13: 9781905209347
Verlag: Wiley-ISTE, 2006

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Von der hinteren Coverseite

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.

Aus dem Klappentext

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Wiley-ISTE
Erscheinungsdatum
2006
Sprache
Englisch
ISBN 10 
1905209347
ISBN 13 
9781905209347
Einband
Gebundene Ausgabe
Auflage
1
Anzahl der Seiten
418
Herausgeber
Habrias Henri, Frappier Marc
Kontakt zum Hersteller
Wiley-VCH GmbH
product_safety@wiley.com

Boschstrasse 12
Weinheim
69469
Deutschland