The Collection of
Computer Science Bibliographies
Up: Bibliographies on Software/Hardware Engineering and Formal Methods Collection Home

Annotated Bibliography on Abstract State Machines (ASMs)

[   About   |  Browse   |   Statistics   ]

Number of references:271Last update:October 3, 2003
Number of online publications:0Supported:yes
Most recent reference:July 2003

Information on the Bibliography

Authors:
Egon Börger <boerger @ di . unipi . it> (email mangled to prevent spamming)
James K. Huggins <huggins @ acm . org> (email mangled to prevent spamming)

Kettering University
Flint, MI, 48504-4898
USA

Abstract:
BibTeX bibliography of all known papers using the formal method for specification and verification known as Abstract State Machines (ASMs), formerly known as Evolving Algebras.
Keywords:
Abstract State Machines, ASMs, Evolving Algebras, Formal Methods
Author Comments:
Comments, additions and corrections are welcome and should be sent to boerger@di.unipi.it and huggins@acm.org

Many of the listed papers are available at the ASM Home Page at http://www.eecs.umich.edu/gasm

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(125), article(52), incollection(37), techreport(36), phdthesis(12), mastersthesis(5), book(2), misc(1), unpublished(1)
Fields:
author(271), title(271), year(271), note(268), pages(187), booktitle(162), editor(127), volume(117), publisher(102), number(101), month(81), series(79), address(53), journal(52), type(39), institution(36), organization(36), school(17), chapter(1), howpublished(1), optaddress(1)

Distribution of publication dates:

Distribution of publication dates

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.