| 
|
Quote: a virtual finite state machine (VFSM) is state, action, and condition names combined with AND and OR; names and enumerations are primary
Topic:
state machine
Topic:
requirement specification by behaviors
Quotation Skeleton
This specification describes the control of an air … [state, action, and condition] names and two logical operators: AND (&) and OR(v). The … many types of input temperature sensors, window position … A virtual environment is created by inventing names … The names are the only information that can … [p. 230] A specification of a VFSM [virtual finite state machine] begins with the definition of input, output, and state names. … the specification table. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: state machine (67 items)
Topic: requirement specification by behaviors (16 items)