Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

An ASM Primer


Citation: James K. Huggins and Charles Wallace, "An Abstract State Machine Primer", Technical Report CS-TR-02-04, Computer Science Department, Michigan Technological University, 4 December 2002.
Summary: An introduction to writing ASMs, written as a dialogue between an instructor and an undergraduate student in a software engineering course.
Subjects: Introductory Materials
Download: From Jim Huggins' home page in PDF and PostScript.
Notes: