Quote: Lucent uses virtual finite-state machines (VFSM) to separate the control behavior of a software module from its data manipulation; formal, executable, early error checking, 50% fewer defects, automatic documentation

Quotation Skeleton

The virtual finite-state machine (VFSM) design and implementation … [Wagner, F., IEEE Inter Conf Computer System Software Engineering, 1992; authors, 1995] … allows the software developer to construct a formal, … the control portion of the implementation can be … The executable nature of a VFSM model enables … … [p. 97] the control structure is kept strictly separate … VFSM has been enthusiastically received by software developers … [a number of Lucent organizations, including those responsible for the software of the 5ESS^tm switching system. ... the use of VFSM has resulted in software modules with fewer defects than those produced using traditional methods. ... [p. 98] every input, output, and state name used in the specification … [p. 101] The VFSM notation, by virtue of its … and VFSM has proven to be sufficiently expressive … [p. 109] the VFSM toolset generates the majority of … [p. 110] The number of defects in the VFSM …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: formal methods and languages (53 items)
Topic: state machine (67 items)
Topic: executable code from specifications and designs (18 items)
Topic: model checker (49 items)
Topic: type-safe and secure languages (42 items)