Search

Paulo Borba

Tiago Massoni

Automatically Checking Feature Model Refactorings
Synchronizing Model and Program Refactoring
Synchronizing Model and Program Refactoring
A complete set of object modeling laws for Alloy
A complete and minimal set of algebraic laws for feature models
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
Algebraic Laws for Feature Models
Formal Model-Driven Program Refactoring
A Static Semantics for Alloy and its Impact in Refactorings
Formally Introducing Alloy Idioms
A Formal Framework for Establishing Conformance between Object Models and Object-Oriented Programs
A Theory for Feature Models in Alloy
An Approach to Invariant-based Program Refactoring
An Approach to Invariant-based Program Refactoring
Refactoring product lines
A Model-driven Approach to Formal Refactoring
A Rigorous Approach for Proving Model Refactorings
An Abstract Equivalence Notion for Object Models
Formal Refactoring for UML Class Diagrams
Formal Refactorings for Object Models
Type-safe refactorings for Alloy
A UML Class Diagram Analyzer
An Abstract Equivalence Notion for Object Models
Basic Laws of Object Modeling
A RUP-based software process supporting progressive implementation
PDC: Persistent Data Collections Pattern
Progressive implementation of aspects