Committee login



Small thumbnail

Traffic Anomaly Detection

Small thumbnail

Parallel Scientific Computing

Small thumbnail

Digital Communications

Course and Exercices with Solutions

Small thumbnail

Non-local Structural Mechanics

Small thumbnail

Metaheuristics for Air Traffic Management

Metaheuristics Set - Volume 2

Small thumbnail

Biodiversity of the Southern Ocean

Small thumbnail

Numerical Methods for Simulation and Optimization of Piecewise Deterministic Markov Processes

Application to Reliability

Small thumbnail

Optimization Tools for Logistics

Small thumbnail

Recurrent Event Modeling Based on the Yule Process

Application to Water Network Asset Managment

Small thumbnail

Supply Chain Management and its Applications in Computer Science

FOCUS Series in Information Systems, Web and Pervasive Computing

Small thumbnail

Software Specification Methods

An Overview Using a Case Study

Edited by Henri Habrias, University of Nantes, France Marc Frappier, University of Sherbrooke, Canada

ISBN: 9781905209347

Publication Date: April 2006   Hardback   448 pp.

165.00 USD

Add to cart


Ebook Ebook


This book introduces several key software specification methods. Each method is presented using the same example, an invoicing system, allowing the reader to compare and contrast. Every chapter follows a rigorous pattern whereby techniques and notations are gradually introduced through questions which are asked to an imaginary user. Most specification courses tend to focus on one or two key techniques and have a theoretical bias; however, 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.
Essential reading for all industrial and commercial practitioners, this book will help to expand their knowledge of software specification methods.


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.

About the Authors

Henri Habrias is a Professor in the Department of Computer Science at the IUT Nantes, University of Nantes, France, and teaches software specification at graduate and undergraduate levels. He is a member of the LINA Laboratory (Laboratoire d'Informatique de Nantes Atlantique) and he has published six books in software engineering.
Marc Frappier is a Professor of Software Engineering in the Department of Computer Science at the University of Sherbrooke, Canada. His research interests focus on specification, synthesis and construction of software, project management and functional size measurement. Before joining the University of Sherbrooke, he held several positions, both at management and technical levels, in banking, manufacturing, telecommunications, aerospace and pharmaceutical roles.


DownloadTable of Contents - PDF File - 52 Kb

DownloadPreface - PDF File - 49 Kb

Related Titles

0.06717 s.