Graph transformations for object-oriented refinement

DOI10.1007/S00165-007-0067-YMaRDI QIDQ1019019zbMATH OpenOpenAlexWikidataFDO

Authors 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 formgraph transformationobject-orientationclass graphobject graphstructure refinement

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2016082
• A graph-based implementation for mechanized refinement calculus of OO programs
• ERC -- an object-oriented refinement calculus for Eiffel
• Graph Transformations
• scientific article; zbMATH DE number 2086943

Cites work

• scientific article; zbMATH DE number 1222590 (Why is no real title available?)
• scientific article; zbMATH DE number 1251179 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 1487496 (Why is no real title available?)
• scientific article; zbMATH DE number 804384 (Why is no real title available?)
• scientific article; zbMATH DE number 919845 (Why is no real title available?)
• scientific article; zbMATH DE number 1390329 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• A graph transformation approach to software architecture reconfiguration
• Class refinement as semantics of correct object substitutability
• Compositional Reasoning for Pointer Structures
• Fundamental Approaches to Software Engineering
• Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
• Handbook of Graph Grammars and Computing by Graph Transformation
• Object-oriented specification and open distributed systems
• Reasoning about dynamically evolving process structures
• rCOS: a refinement calculus of object systems

Cited in

(10)

• rCOS: defining meanings of component-based software architectures
• scientific article; zbMATH DE number 2016082 (Why is no real title available?)
• ERC -- an object-oriented refinement calculus for Eiffel
• A graph-based implementation for mechanized refinement calculus of OO programs
• Graph-based object-oriented Hoare logic
• OOP class diagrams: formalization and analysis
• Visual Modeling of Distributed Object Systems by Graph Transformation
• Method for the analysis and design of class characteristic migrations during object system evolution
• A graph-based generic type system for object-oriented programs
• Linking formal methods in software development. A reflection on the development of rCOS

Describes a project that uses

Uses Software

• rCOS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1019019)