• search hit 11 of 139
Back to Result List

An Introduction to Abstract State Machines

  • This report explains basic notions and concepts of Abstract State Machines (ASM) as well as notation for defining ASM models. The objective here is to provide an intuitive understanding of the formalism; for a rigorous definition of the mathematical foundations of ASM, the reader is referred to [2] and [3]. Further references on ASM-related material can be found on the ASM Web Pages [1].

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
URN:urn:nbn:de:hbz:386-kluedo-49314
Series (Serial Number):Interner Bericht des Fachbereich Informatik (326)
Document Type:Report
Language of publication:English
Date of Publication (online):2017/10/24
Year of first Publication:2003
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2017/10/24
Page Number:19
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0)