Abstract
The ASM method for the high-level design and analysis of computing systems and their stepwise refinement to executable code grew naturally out of the foundational concern which led to the discovery of the notion of ASMs, although it took some time for the concept to sink in. Indeed, as often happens with ideas which change the way we look at things, its “real”ization — through becoming the basis for an intellectual, human-centric though machine supported instrument for practical system design and analysis — encountered significant resistance in the scientific community. In this chapter, which can be read independently of the rest of the book, we survey the rich ASM literature and the salient steps of the development of the ASM method from its epistemological origins. The survey covers the period from 1984 to 2002.1
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Börger, E., Stärk, R. (2003). History and Survey of ASM Research. In: Abstract State Machines. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18216-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-18216-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-62116-1
Online ISBN: 978-3-642-18216-7
eBook Packages: Springer Book Archive