The origins and the development of the ASM method for high level system design and analysis
The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the period from 1984, when the idea for the concept of ASMs ( under the name dynamic or evolving algebras or structures) appears for the first time in a foundational context, to the year 2001 where a mathematically well-founded, practical system development method based upon the not on of ASMs is in place and ready to be industrially deployed. Some lessons for the future of ASMs are drawn.
system design abstract state machines specification methods system analysis models of computation