Abstract State Machines




ASM Studies


Citation: Matthias Anlauff, Philipp W. Kutter and Alfonso Pierantonio, "Formal Aspects of and Development Environments for Montages", in M. Sellink, ed., 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Amsterdam, 1997, Springer Workshops on Computing.
Summary: A description of the use of Montages and the Gem-Mex tool, with some small examples.
Subjects: Interpreters & Tools, Montages
Download: PostScript, PDF, Compressed PostScript.
Notes: The Gem-Mex tool has its own home page, http://www.first.gmd.de/~ma/gem/.