Abstract State Machines 1988-1998: Commented ASM Bibliography (1998)
| Venue: | Bulletin of EATCS |
| Citations: | 17 - 1 self |
BibTeX
@INPROCEEDINGS{Huggins98abstractstate,
author = {James K. Huggins},
title = {Abstract State Machines 1988-1998: Commented ASM Bibliography},
booktitle = {Bulletin of EATCS},
year = {1998},
pages = {10--5},
publisher = {North-Holland}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The attempt to answer the question in a more concrete way led the two authors of this commented bibliography to systematically review again, revising and updating [20], what are the achievements and failures of ASM research since the discovery of the notion by Yuri Gurevich in 1988. What follows here is a way of answering Hartmut Ehrig's question; namely, we try to let the research results speak for the method. If somebody really wants to know whether there is anything useful in the notion of ASM which has not been covered by competing methods in the literature, he or she should try out the method on a challenging (not a toy) specification or verification problem. We have no doubt that then it will become clear why so much successful research could be done in such a short period by a relatively small number of researchers, as documented in the commented bibliography below.
Citations
No citations identified.
