| 2008 |
|---|
| 11 | EE | Tiago Massoni,
Rohit Gheyi,
Paulo Borba:
Formal Model-Driven Program Refactoring.
FASE 2008: 362-376 |
| 10 | EE | 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 |
|---|
| 9 | EE | 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) |
| 8 | EE | Robert Seater,
Daniel Jackson,
Rohit Gheyi:
Requirement progression in problem frames: deriving specifications from requirements.
Requir. Eng. 12(2): 77-102 (2007) |
| 2006 |
|---|
| 7 | EE | Vander Alves,
Rohit Gheyi,
Tiago Massoni,
Uirá Kulesza,
Paulo Borba,
Carlos José Pereira de Lucena:
Refactoring product lines.
GPCE 2006: 201-210 |
| 6 | EE | Tiago Massoni,
Rohit Gheyi,
Paulo Borba:
An Approach to Invariant-based Program Refactoring.
ECEASST 3: (2006) |
| 2005 |
|---|
| 5 | EE | Rohit Gheyi,
Tiago Massoni,
Paulo Borba:
A rigorous approach for proving model refactorings.
ASE 2005: 372-375 |
| 4 | EE | Tiago Massoni,
Rohit Gheyi,
Paulo Borba:
A model-driven approach to formal refactoring.
OOPSLA Companion 2005: 124-125 |
| 3 | EE | Rohit Gheyi,
Tiago Massoni:
Formal refactorings for object models.
OOPSLA Companion 2005: 208-209 |
| 2 | EE | Rohit Gheyi,
Tiago Massoni,
Paulo Borba:
An Abstract Equivalence Notion for Object Models.
Electr. Notes Theor. Comput. Sci. 130: 3-21 (2005) |
| 2004 |
|---|
| 1 | EE | Rohit Gheyi,
Paulo Borba:
Refactoring Alloy Specifications.
Electr. Notes Theor. Comput. Sci. 95: 227-243 (2004) |
