Accession Number : ADA328074

Title :   Evolving Algebras: A Novel Specification and Verification Methodology.

Descriptive Note : Final rept. 1 Sept 94-31 Dec 96,

Corporate Author : MICHIGAN UNIV ANN ARBOR DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE

Personal Author(s) : Gurevich, Yuri

PDF Url : ADA328074

Report Date : DEC 1996

Pagination or Media Count : 7

Abstract : The Evolving Algebra Methodology originated at Michigan and, from the beginning, was supported by ONR. Recently the term 'Evolving Algebra' has been replaced with the term 'Abstract State Machines' abbreviated to ASM. During the period in question, the ASM theory has been advanced and many ASM applications have been successfully realized. The ASM methodology spread to many countries including many European countries, e.g. France, Germany, Switzerland. Annual ASM workshops have been established. The latest ASM workshop took place in June 1997 in France; see http://www.tik.ee.ethz.ch/kutter/ASMworkshop/1997/. General information about the current state of affairs in the ASM field can be found at http://www.eecs.umich.edu/gasm/. An ASM interpreter has been improved here at Michigan; additional ASM tools have been; in particular see http://www.icsi.berkeley.edu/ maffy/gem. In the rest of the report, we provide an annotated list of the articles of the principal investigator and his students written, at least partially, during the period in question.

Descriptors :   *DATA BASES, *DISTRIBUTED DATA PROCESSING, ALGORITHMS, SOFTWARE ENGINEERING, OPTIMIZATION, RESEARCH MANAGEMENT.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE