Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Behavioral Specification of Components


Citation: Michael Barnett and Wolfram Schulte, "The ABCs of Specification: AsmL, Behavior, and Components". Informatica 25(4), November 2001.
Summary: AsmL is used to specify behavioral interfaces for components.
Subjects: Software Engineering
Download: From Foundations of Software Engineering at Microsoft Research in PostScript or PDF.
Notes: