 | 2009 |
|---|
| 10 |       | Rohit Gheyi,
Tiago Massoni,
Paulo Borba,
Augusto Sampaio:
A Complete Set of Object Modeling Laws for Alloy.
SBMF 2009: 204-219 |
| 2008 |
|---|
| 9 | | Tiago Massoni,
Rohit Gheyi,
Paulo Borba:
Formal Model-Driven Program Refactoring.
FASE 2008: 362-376 |
| 8 | | Tiago Massoni,
Rohit Gheyi,
Paulo Borba:
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.
Electr. Notes Theor. Comput. Sci. 195: 189-209 (2008) |
| 2007 |
|---|
| 7 | | Rohit Gheyi,
Tiago Massoni,
Paulo Borba:
A Static Semantics for Alloy and its Impact in Refactorings.
Electr. Notes Theor. Comput. Sci. 184: 209-233 (2007) |
| 2006 |
|---|
| 6 | | Vander Alves,
Rohit Gheyi,
Tiago Massoni,
Uirá Kulesza,
Paulo Borba,
Carlos José Pereira de Lucena:
Refactoring product lines.
GPCE 2006: 201-210 |
| 5 | | Tiago Massoni,
Rohit Gheyi,
Paulo Borba:
An Approach to Invariant-based Program Refactoring.
ECEASST 3: (2006) |
| 2005 |
|---|
| 4 | | Rohit Gheyi,
Tiago Massoni,
Paulo Borba:
A rigorous approach for proving model refactorings.
ASE 2005: 372-375 |
| 3 | | Tiago Massoni,
Rohit Gheyi,
Paulo Borba:
A model-driven approach to formal refactoring.
OOPSLA Companion 2005: 124-125 |
| 2 | | Rohit Gheyi,
Tiago Massoni:
Formal refactorings for object models.
OOPSLA Companion 2005: 208-209 |
| 1 | | Rohit Gheyi,
Tiago Massoni,
Paulo Borba:
An Abstract Equivalence Notion for Object Models.
Electr. Notes Theor. Comput. Sci. 130: 3-21 (2005) |
