Software Specification Methods
Subtitle: an Overview Using a Case Study
Contributors: Frappier, Marc
Publisher: ISTE
Published: 2006
Place of publication: London
Language: eng
Format: [electronic resource] :
Number of pages: 444
ISBN-13: 9781847045843
Subjects: Formal methods (Computer science)
Description: 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. T.
Notes: Description based on print version record.
Table of contents: title: Preliminaries; Contents; 1 Z; 2 SAZ; 3 B; 4 From UML Diagrams to B Specifications; 5 UML Z Augmenting UML with Z; 6 ASM; 7 TLA; 8 Action Systems; 9 Event B; 10 VHDL; 11 Estelle; 12 SDL; 13 E LOTOS; 14 EB; 15 CASL; 16 Coq; 17 Petri Nets; 18 Petri Nets with Objects; 19 A Comparison of the Specification Methods; 20 Glossary; Index.