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. |
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 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