Pages that link to "Item:Q1019019"
From MaRDI portal
The following pages link to Graph transformations for object-oriented refinement (Q1019019):
Displaying 7 items.
- ERC -- an object-oriented refinement calculus for Eiffel (Q1882788) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- Visual Modeling of Distributed Object Systems by Graph Transformation (Q4923550) (← links)
- Method for the analysis and design of class characteristic migrations during object system evolution (Q5944464) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)