Software Specification Methods
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
Software Specification Methods: An Overview Using a Case Study
Marc Frappier,Henri Habrias
Limited preview - 2012
Abrial abstract abstract machine Abstract State Machines action system algebraic Answer associated attribute axioms behavior class diagram collaboration diagram components Computer corresponding data types defined definition deletion denotes domain dynamic E-LOTOS entity type environment Estelle event execution Figure formal Formal Methods function given guard identifier implementation initialisation input invariant invoice_order invoiced orders invoicing system Jean-Raymond Abrial language loop LOTOS machine method model checking modified natural numbers neword notation object operation Order module order number order reference ordered product ordered quantity Orderld orders and stocks orderSet output parameters pending orders Petri nets possible precondition predicate productRef productStock proof obligations properties quantity in stock Question referenced refinement requirements resp satisfied schema semantics sequence set of orders signal specification SSADM status Stock module structure temporal logic TLA+ transition tuple updated valid values variables VHDL Z notation