Map
Index
Random
Help
th

QuoteRef: florAR1_1997

topics > all references > ThesaHelp: references e-f



ThesaHelp:
references e-f
Topic:
type-safe and secure languages
Topic:
formal methods and languages
Topic:
state machine
Topic:
executable code from specifications and designs
Topic:
model checker
Topic:
communicating sequential processes
Topic:
design documentation

Reference

Flora-Holmquist, A.R., Morton,E., O'Grady, J.D., Staskauskas, M.G., "The virtual finite-state machine design and implementation paradigm", Bell Labs Technical Journal, 2, 1, Winter, 1997, pp. 96-113. Google

Quotations
96 ;;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
107 ;;Quote: the VFSM simulator generates message sequence charts showing states, inputs, outputs, and communications; with seqflow, it documents the behavior of a module
108 ;;Quote: the VFSM validator exhaustively exercises a network of communicating VFSMs using the supertrace algorithm; found errors in three tested applications; widely used formal method


Related Topics up

ThesaHelp: references e-f (168 items)
Topic: type-safe and secure languages (43 items)
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: communicating sequential processes (33 items)
Topic: design documentation (43 items)

Collected barberCB 12/02
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.