Software Specification Methods
Published on 5. January 2010
Software
Other digital
418 pages
978-0-470-61251-4 (ISBN)
Description
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.
More details
Language
English
Place of publication
Hoboken
United Kingdom
Publishing group
John Wiley and Sons Ltd
Target group
Professional and scholarly
ISBN-13
978-0-470-61251-4 (9780470612514)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Henri Habrias | Marc Frappier
Software Specification Methods
E-Book
03/2013
Wiley-ISTE
€160.99
Available for download
Henri Habrias | Marc Frappier
Software Specification Methods
E-Book
01/2010
Wiley-ISTE
€160.99
Available for download
Person
Henri Habrias , University of Nantes, France Marc Frappier , University of Sherbrooke, Canada
Content
Preface. Part 1: State-Based Approaches. 1. Z ( J. Bowen). 2. SAZ (F. Polack). 3. B (H. Diab and M. Frappier). 4. From UML Diagrams to B Specifications (R. Laleau and A. Mammar). 5. UML+Z: Augmenting UML with Z, N. Amalio (F. Polack and S. Stepney). 6. ASM, E. Borger (A. Gargantini and E. Riccobene). 7. TLA+ (L. Lamport). Part 2: Event-Based Approaches. 8. Action Systems (J. Sinclair). 9. Event B (D.Cansell and D. Mery). 10. VHDL (L. Pierre). 11. Estelle (E. Lallet and J.-L. Raffy). 12. SDL (P. Poizat). 13. (E)-Lotos (K. Turner and M. Sighireanu). 14. EB3 (F. Gervais and M. Frappier). Part 3: Other Formal Approaches. 15. Casl (H. Baumeister and D. Bert). 16. Coq (J.-F. Monin). 17. Petri Nets (A. Choquet-Geniet and P. Richard). 18. Petri Nets with Objects (C. Sibertin-Blanc). Part 4: Comparison and Glossary. 19. A Comparison of the Specification Methods (M. Frappier, H. Habrias and P. Poizat). 20. Glossary, H. Habrias (P. Poizat and M. Frappier). Glossary. Index.