Graph transformations for object-oriented refinement
type: Item
instance of: scholarly article
title: Graph transformations for object-oriented refinement
zbMATH Open document ID: 1165.68025
author: J. Martínez
published in: Formal Aspects of Computing
publication date: 2009-05-27T00:00:00Z
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 5558115
zbMATH Keywords: class graph
zbMATH Keywords: object graph
zbMATH Keywords: graph transformation
zbMATH Keywords: normal form
zbMATH Keywords: object-orientation
zbMATH Keywords: structure refinement
describes a project that uses: rCOS
MaRDI profile type: Publication
full work available at URL: s00165-007-0067-y
OpenAlex ID: W2005543934
cites work: Reasoning about dynamically evolving process structures
cites work: Class refinement as semantics of correct object substitutability
cites work: Q4851564
cites work: Compositional Reasoning for Pointer Structures
cites work: Q4890710
cites work: Q4493905
cites work: Handbook of Graph Grammars and Computing by Graph Transformation
cites work: Q3416072
cites work: Q4218129
cites work: Q4934618
cites work: rCOS: a refinement calculus of object systems
cites work: Object-Oriented Specification and Open Distributed Systems
cites work: Q4230924
cites work: Q4301161
cites work: Q4940107
cites work: Fundamental Approaches to Software Engineering
cites work: A graph transformation approach to software architecture reconfiguration
DOI: 10.1007/S00165-007-0067-Y
Wikidata QID: Q130954591
description: scientific article; zbMATH DE number 5558115