Graph transformations for object-oriented refinement

DOI10.1007/S00165-007-0067-YzbMath1165.68025OpenAlexW2005543934WikidataQ130954591 ScholiaQ130954591MaRDI QIDQ1019019

J. Martínez

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

zbMATH Keywords

normal formobject-orientationgraph transformationclass graphobject graphstructure refinement

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (3)

rCOS: Defining Meanings of Component-Based Software Architectures ⋮ A graph-based generic type system for object-oriented programs ⋮ Graph-Based Object-Oriented Hoare Logic

Uses Software

• rCOS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Graph transformations for object-oriented refinement