The Subject-Oriented Approach to Software Design and the Abstract State Machines Method
From MaRDI portal
Publication:3223998
DOI10.1007/978-3-642-28279-9_6zbMath1312.68071MaRDI QIDQ3223998
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
Uses Software
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