Turn on more accessible mode
Skip to main content
Turn off more accessible mode
R2D2 Team
>
Abstract State Machines Research Center
Sign In
|
Abstract State Machines Research Center
This Site
This List
Home
Abstract State Machines Research Center
>
Links to ASM Material
Links to ASM Material
Quick Launch
View All Site Content
Documents
AsmCenter Reports
Courses/Lectures
Annotated Asm Bibliography
SelectedPapers
Lists
Researchers
Members
Links
Links to ASM Material
Projects
Discussions
General Discussion
AsmTools Discussion
Modify settings and columns
Links to electronically accessible material that uses the ASM method
Actions
View:
All Links
Type
Edit
URL
Notes
AsmBook Website
Subject: Introduction into the ASM Method (Textbook and Monography). Downloadable lecture slides
Jbook Website
Subject: Application of the ASM Method to Definition, Verification and Validation of Java and the JVM. Downloadable lecture slides
History of the ASM Method (1984-2001)
An updated version complete until December 2002 is in Chapter 9 of
http://www.di.unipi.it/AsmBook/
Steam-Boiler Control: Specification Case Study
Contains among many others (see
http://www.informatik.uni-trier.de/~ley/db/conf/dagstuhl/fm1995.html#AbrialBL95
) also an ASM solution accessible at
http://www.informatik.uni-kiel.de/~procos/dag9523/beierle-abstract.ps.Z
and in Springer LNCS 1165
http://www.springer.com/dal/home/generic/search/results?SGWID=1-40109-22-1498888-0
Production Cell: Software Development Case Study
Problem statement and numerous solutions in Springer LNCS 891 at
http://www.springer.com/dal/home/generic/search/results?SGWID=1-40109-22-1435936-0
. C++ code refining the ASM ground model at
http://www.jucs.org/jucs_3_5/production_cell
Light-Control: Requirements Engineering Case Study
Contains among many others also an ASM solution accessible via
http://www.jucs.org/jucs_6_7
Journal of Universal Computer Science
Special Issues on the ASM Method
http://www.jucs.org/jucs_3_4/
http://www.jucs.org/jucs_3_5
http://www.jucs.org/jucs_3_12
(ASM models for Kerberos and SDL 2000, see also
http://rn.informatik.uni-kl.de/projects/sdl/index.html
)
http://www.jucs.org/jucs_7_11
(Selection of papers from the 8th International ASM Workshop ASM'2001, Las Palmas di Gran Canaria)
Proc.ASM'2000 in LNCS 1912
Abstract State Machines. Proc. 7th International Workshop, Monte Verita 2000
Proc. ASM'2003 in LNCS 2589
Abstract State Machines 2003. Proc. of 10th International Workshop. Taormina 2003.
Theoretical Computer Science 336
Special Issue with Selected Papers from 10th International ASM Workshop ASM'2003 (Taormina)
Proc. ASM'2004 in LNCS 3052
Abstract State Machines 2004. Proc. of 11th International Workshop. Wittenberg 2004.
Fundamenta Informaticae 77 (1-2), 2007
Selected papers from the 12th International ASM Workshop ASM'2005 (Paris). Vol.77, Issue 1-2, 2007. Presentation, Contents and Abstracts of Papers by courtesy of FI made available here under SelectedPapers
http://rotor.di.unipi.it/AsmCenter/SelectedPapers/Forms/AllItems.aspx
Local Proc. available at
http://www.univ-paris12.fr/lacl/dima/asm05/asm05-contents.html
Electronic Proceedings ASM'07
Proceedings of the 14th International ASM Workshop held in Grimstadt, Norway, June 2007,
http://osys.grm.hia.no/asm07
, Ed. Andreas Prinz