Pages that link to "Item:Q5902539"
From MaRDI portal
The following pages link to Formal Methods for Open Object-Based Distributed Systems (Q5902539):
Displaying 6 items.
- Object-oriented description of graph data structures (Q927450) (← links)
- Deriving and paraphrasing information grammars using object-oriented analysis models (Q1403318) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- A graph-based semantics for object-oriented programming constructs (Q2849880) (← links)
- Formal verification of object-oriented graph grammars specifications (Q2867893) (← links)
- Graph Transformations (Q5292612) (← links)