The abstract state machines method for high-level system design and analysis

DOI10.1007/978-1-84882-736-3_3MaRDI QIDQ3557669zbMATH OpenOpenAlexFDO

Authors Egon Börger

Publication date 23 April 2010

Published in Formal Methods: State of the Art and New Directions (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-736-3_3

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40) General systems (93A10) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Frontiers of Combining Systems
• Abstract State Machines
• scientific article; zbMATH DE number 1670522
• The ASM refinement method
• scientific article; zbMATH DE number 1670502

Cited in

(22)

• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Communities and ancestors associated with Egon Börger and ASM
• scientific article; zbMATH DE number 1670502 (Why is no real title available?)
• scientific article; zbMATH DE number 1670521 (Why is no real title available?)
• scientific article; zbMATH DE number 1670522 (Why is no real title available?)
• scientific article; zbMATH DE number 1696889 (Why is no real title available?)
• The abstract state machines method for modular design and analysis of programming languages
• ASM-based formal design of an adaptivity component for a cloud system
• The subject-oriented approach to software design and the abstract state machines method
• Data Flow Analysis and Testing of Abstract State Machines
• Abstract state machines and the inquiry process
• A description of the tableau method using abstract state machines
• scientific article; zbMATH DE number 1156869 (Why is no real title available?)
• scientific article; zbMATH DE number 1951182 (Why is no real title available?)
• scientific article; zbMATH DE number 1951209 (Why is no real title available?)
• Abstract State Machines
• scientific article; zbMATH DE number 2000398 (Why is no real title available?)
• Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
• Frontiers of Combining Systems
• Foundations of Information and Knowledge Systems
• Abstraction Modulo Stability for Reverse Engineering
• The ASM refinement method

Describes a project that uses

Uses Software

• CoreASM
• FALKO

This page was built for publication: The abstract state machines method for high-level system design and analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3557669)