| 
|
QuoteRef: wagnF5_1992
Topic:
program source as truth
Topic:
state machine
Topic:
requirement specification by behaviors
Topic:
decision table
Topic:
executable code from specifications and designs
Reference
Wagner, F., "VFSM executable specification", CompEuro 1992 Proceedings, Computer Systems and Software Engineering, Hague, Netherlands, May 1992, IEEE Computer Society Press, pp. 226-231. Google
226 ;;Quote: only the code really counts; unverified, hand-made documents are not reliable
227 ;;Quote: a virtual finite state machine (VFSM) is state, action, and condition names combined with AND and OR; names and enumerations are primary
228 ;;Quote: specify control flow and abstract system behavior with a virtual finite state machine (VFSM); may be executed
228 ;;Quote: define conditions by tables; a set of VFSM input variables represents an AND operation; a table of sets represents an OR operation
229 ;;Quote: execute VFSM specifications by Wait input, Execute input actions, While transition, Execute exit actions, Change state, Execute entry actions
Topic: program source as truth (17 items)
Topic: state machine (67 items)
Topic: requirement specification by behaviors (16 items)
Topic: decision table (29 items)
Topic: executable code from specifications and designs (18 items)