Software Specification MethodsHenri Habrias, Marc Frappier John Wiley & Sons, 1. märts 2013 - 418 pages 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. |
Contents
3 | |
From UML Diagrams to B Specifications | |
Augmenting UML with | |
TLA+ | |
12 | |
ELOTOS | |
14 | |
CASL | |
16 | |
Petri Nets with Objects | |
A Comparison of the Specification Methods | |
Glossary | |
Other editions - View all
Software Specification Methods: An Overview Using a Case Study Marc Frappier,Henri Habrias Limited preview - 2012 |
Common terms and phrases
Abrial abstract abstract machine Abstract State Machines action system algebraic specification Answer associated attribute behavior cancel orders CASL class diagram collaboration diagram components corresponding data types defined deletion denotes described domain dynamic E-LOTOS entity type environment error Estelle event example execution Figure formal specification function definition given guard identifier implementation initialisation input instance invariant invoiced orders Jean-Raymond Abrial language logic LOTOS machine method model checking modified natural numbers NewOrder non-deterministic notation object operation order number order reference ordered product ordered quantity OrderId orders and stocks output parameters pending orders Petri nets possible postcondition precondition predicate process expression process-oriented proof obligations properties quantity in stock Question referenced refinement requirements satisfied schema semantics sequence set of orders signal SSADM stock level Stock module structure temporal logic TLA+ transition updated valid values variables verification VHDL Z notation