Synchronizing model and program refactoring

DOI10.1007/978-3-642-19829-8_7MaRDI QIDQ2999312zbMATH OpenOpenAlexFDO

Authors Tiago Massoni, Rohit Gheyi, Paulo Borba

Publication date 12 May 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19829-8_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2006484
• Refactoring by transformation
• A framework for establishing formal conformance between object models and object-oriented programs
• Model transformation and induced instance migration: a universal framework
• scientific article; zbMATH DE number 2016082

Cites work

• A static semantics for Alloy and its impact in refactorings
• Algebraic reasoning for object-oriented programming
• An abstract equivalence notion for object models
• scientific article; zbMATH DE number 1728235 (Why is no real title available?)
• scientific article; zbMATH DE number 4050933 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 1929900 (Why is no real title available?)
• Ownership confinement ensures representation independence for object-oriented programs

Cited in

(2)

• A framework for establishing formal conformance between object models and object-oriented programs
• A proof system for adaptable class hierarchies

This page was built for publication: Synchronizing model and program refactoring

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