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.
Зміст
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. Börger (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. Méry).
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.
Про автора
Henri Habrias, University of Nantes, France
Marc Frappier, University of Sherbrooke, Canada
Більше електронних книг того самого автора / Редактор
16 480 Електронні книги в цій категорі
