Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
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.
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.
Henri Habrias, University of Nantes, France Marc Frappier, University of Sherbrooke, Canada
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309