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
-
- Added the following papers:
- 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
[an error occurred while processing this directive]