Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

What's New: Abstract State Machines


21 April 2009
  • Added the following papers:
    • A paper describing a generic proof method for ASM refinements based on commuting diagrams.
    • A discussion of the use of refinement in ASMs.
  • Added a new subject index for Refinement, and added several cross-references to existing papers.
20 April 2009
  • Added a link to the proceedings for ABZ 2008 (courtesy of Springer)
14 April 2009
  • Corrected the link for the ATGT tool.
  • Added a link for AsmM (the Abstract State Machine Metamodel) to the tools page.
30 March 2009
20 March 2009
  • Added the following papers:
    • A technical report giving a full description of an interface between ASMs and MDGs.
    • A description of an interface from ASMs to MDGs.
18 March 2009
  • Added the following papers:
    • A Master's Thesis describing an interfaces between ASMs and MDGs.
12 March 2009
  • Added the following papers:
    • An early work describing an interface from ASMs to MDGs.

What's New for 2005-8

What's New for 2003-4

What's New for 2002

What's New for 2001

What's New for 2000

What's New for 1999

What's New for 1998

What's New for 1997

What's New for 1996

What's New for 1995