
Authoritative.
Strategic.

Marc Frappier, University of Sherbrooke, Canada
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.
The new threat landscape has changed. Cybercriminals are aggressively pursuing valuable data assets, such as financial transaction information, product design blueprints, user credentials to sensitive systems, and other intellectual property. ...
The transformation of computing through mobility, consumerisation, bring-your-own device (BYOD) and flex-work offers powerful benefits for today’s organisations ...