Graph transformations for object-oriented refinement
From MaRDI portal
Publication:1019019
DOI10.1007/s00165-007-0067-yzbMath1165.68025MaRDI QIDQ1019019
Publication date: 27 May 2009
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-007-0067-y
normal form; object-orientation; graph transformation; class graph; object graph; structure refinement
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Uses Software
Cites Work
- A graph transformation approach to software architecture reconfiguration
- rCOS: a refinement calculus of object systems
- Reasoning about dynamically evolving process structures
- Class refinement as semantics of correct object substitutability
- Compositional Reasoning for Pointer Structures
- Handbook of Graph Grammars and Computing by Graph Transformation
- Fundamental Approaches to Software Engineering
- Object-Oriented Specification and Open Distributed Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item