Everything about Abstract State Machine Language

🧭 Start here: a 6-step reading path

1. Read the overview: Abstract State Machine LanguageA 5-minute orientation
2. Pick up a classic book: Modern Operating SystemsThe most-reprinted book on the subject
3. Read the landmark paper: On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled ExperimentCited 8 times
4. Go sideways: Behavior treeA closely related topic
5. Go sideways: Abstract state machineA closely related topic

🏆 Landmark papers (most cited)

• On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment

  Philipp Paulweber, Georg Simhandl, Uwe Zdun · 2021 · Journal of Systems and Software · 8 citations

• Structure-Behavior Coalescence Abstract State Machine for Metamodel-Based Language in Model-Driven Engineering

  Wei-Ming Ma, William S. Chao · 2021 · IEEE Systems Journal · 7 citations

• Can abstract state machines be useful in language theory?

  Yuri Gurevich, Margus Veanes, Charles Wallace · 2007 · Theoretical Computer Science · 5 citations

• Integration of Symbolic Execution into a Formal Abstract State Machines based Language

  Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton · 2017 · IFAC-PapersOnLine · 3 citations

📚 Books worth reading

• Modern Operating SystemsAndrew S. Tanenbaum, Herbert Bos · 1992
• Objects first with JavaDavid J. Barnes, Michael Kolling · 2002
• Structure and Interpretation of Computer Programs (SICP)Harold Abelson, Gerald Jay Sussman · 1985
• Mathematical structures for computer scienceJudith L. Gersting · 1982
• Language and Automata Theory and ApplicationsAdrian-Horia Dediu · 2012
• The unified modeling language user guideGrady Booch, James Rumbaugh · 1999
• Art since 1900Hal Foster, Rosalind E. Krauss · 2004
• Computational Thinking for the Modern Problem SolverKenny A. Hunt, David D. Riley · 2014

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Behavior tree A behavior tree is a structured visual modeling technique used in systems engineering and software engineering to represent system behavior. It utilizes…
• Abstract state machine In computer science, an abstract state machine (ASM) is a state machine operating on states that are arbitrary data structures (structure in the sense…
• Formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and…
• Device driver synthesis and verification Device drivers are programs which allow software or higher-level computer programs to interact with a hardware device. These software components act as…
• Spec Explorer Spec Explorer is a Model-Based Testing (MBT) tool from Microsoft. It extends the Visual Studio Integrated Development Environment with the ability to define…
• Static program analysis In computer science, static program analysis (also known as static analysis or static simulation) is the analysis of computer programs performed without…
• Concolic testing Concolic testing (a portmanteau of concrete and symbolic, also known as dynamic symbolic execution) is a hybrid software verification technique that performs…
• Fuzzing In programming and software development, fuzzing or fuzz testing is an automated software testing technique that involves providing invalid, unexpected…