High Level System Design and Analysis

Citation:	Egon Börger, "High Level System Design and Analysis using Abstract State Machines". In D. Hutter, W. Stephan, P. Traverso, M. Ullman, eds., Current Trends in Applied Formal Methods (FM-Trends 98). Springer LNCS 1641, 1999, pp. 1-43.
Summary:	A general introduction to ASMs, including definitions of ASMs and illustrations of the main characteristics of the ASM methodology, comparisons with other well-known system design methodologies, and experimental evidence for the ASM thesis.
Subjects:	Discussions
Download:	Available from Egon Börger's home page in PostScript.
Notes:

[an error occurred while processing this directive]

Abstract State Machines