VFSM executable specification

Proceedings - Computer Systems and Software Engineering: 6th Annual European Computer Conference, CompEuro 1992

Volumn , Issue , 1992, Pages 226-231

  Wagner, F ^a  

^a Balzers AG   (Liechtenstein)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; SPECIFICATIONS; VIRTUAL REALITY;

COMPLEX SOFTWARE; DATA MANIPULATIONS; DESIGN PROBLEMS; EXECUTABLE SPECIFICATIONS; FINITE-STATE MODELS; SOFTWARE MODULES;

SOFTWARE DESIGN;

EID: 46949090276     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CMPEUR.1992.218505     Document Type: Conference Paper

References (11)

1. T. De Marco, Structured Analysis and System Specifi-cation. Prentice-Hall, 1978.
2. A. Gill, Introduction to the Theory of FiniteState Machines. McGraw-Hill, 1962.
3. W. Grass, Steuerwerke. Entwurf von Schaltwerken mit Festwertspeichern, Springer Verlag, 1978.
4. D. Harel, "Statecharts. A Visual Formalism for Complex Systems", Science of Computer Programming, No. 8, 1987, pp. 231-274, Elsevier Science Publishers B. V. (North-Holland).
5. DJ. Hatley, IA. Pirbhai, Strategies for Real-Time System Specification. Dorset House Publishing, 1988.
6. F. C. Hennie, Finite-State Models for Logical Machines. John Wiley & Sons, Inc., 1968.
7. J. E. Hopcroft, J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
8. Z. Kohavi, Switching and Finite Automata Theory. McGraw-Hill, 1978.
9. F. Wagner, A Virtual Environment for Table Based Control Software. Report prepared for AT&T, 1990.
10. F. Wagner, Method of and Apparatus for Constructing a Control System and Control System Created Thereby (patent pending), 1991.
11. E. Yourdon, L. C. Larry, Structured Design: Funda-mentals of a Discipline of Computer Program and System Design. Prentice-Hall, 1975.