[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

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]