Software Specification Methods: An Overview Using a Case Study

Software Specification Methods: An Overview Using a Case Study

Paperback(Softcover reprint of the original 1st ed. 2001)

Choose Expedited Shipping at checkout for guaranteed delivery by Monday, January 21

Product Details

ISBN-13: 9781852333539
Publisher: Springer London
Publication date: 11/27/2000
Series: Formal Approaches to Computing and Information Technology (FACIT)
Edition description: Softcover reprint of the original 1st ed. 2001
Pages: 282
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

About the Author

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Table of Contents

Part I: State-Based Approaches
1. Z: A Formal Specification Notation.-
2. SAZ: SSADM Version 4 and Z.-
3. B: A Model-Based Method Using Generalized Substitutions.- 4. From OMT Diagrams to B Specifications.-
Part II: Event-Based Approaches
5. Action Systems: A Method Combining State-Based and Event-Based Specification.-
6. Using UML with a Behaviour-Driven Method.-
7. VHDL: A Hardware Description Language and its Simulation Semantics.-
8. Estelle: A Formal Description Technique.-
9. SDL: A Specification and Description Language Based on an Extended Finite State Machine Model with Abstract Data Types.-
10. (E-)LOTOS: (Enhanced) Language of Temporal Ordering Specification.-
11. Specifying a Cleanroom Black Box Using JSD.-
Part III: Other Formal Approaches
12. Algebraic Specification in CASL.-
13. Coq: A Constructive Proof System.-
14. Petri Nets: A Graphical Tool for System Modelling and Analysis.-
15. Using Petri Nets and Objects: A Formal Yet Expressive Approach.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews