 Software Specification Methods
ISBN: 978-1-905209-34-7
Hardcover
418 pages
May 2006, Wiley-ISTE
US $145.00
 Add to Cart
This price is valid for United States. Change location to view local pricing and availability. |
Instructors may request an evaluation copy for this title.
|
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.
