The Subject-Oriented Approach to Software Design and the Abstract State Machines Method

DOI10.1007/978-3-642-28279-9_6zbMath1312.68071OpenAlexW1592944918MaRDI QIDQ3223998

Egon Börger

Publication date: 9 March 2012

Published in: Conceptual Modelling and Its Theoretical Foundations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28279-9_6

Mathematics Subject Classification ID

Theory of organizations, manpower planning in operations research (90B70) Theory of software (68N99)

Uses Software

• CoreASM
• FALKO
• Rodin
• Metasonic

Cites Work

• Ambient abstract state machines with applications
• A high-level modular definition of the semantics of C\(_{\sharp}\)
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• The ASM refinement method
• Towards proving type safety of .NET CIL
• A calculus of communicating systems
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• The B-Book
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• Interactive Algorithms 2005 with Added Appendix
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item