Synchronizing Model and Program Refactoring

DOI10.1007/978-3-642-19829-8_7zbMath1325.68067OpenAlexW1542925140MaRDI QIDQ2999312

Rohit Gheyi, Tiago Massoni, 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)

Related Items (2)

A proof system for adaptable class hierarchies ⋮ A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs

Cites Work

• Algebraic reasoning for object-oriented programming
• A Static Semantics for Alloy and its Impact in Refactorings
• Ownership confinement ensures representation independence for object-oriented programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Synchronizing Model and Program Refactoring