Search the dblp DataBase

Publications of Author

1. Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena
   Refactoring product lines. [Citation Graph (0, 0)][DBLP]
   GPCE, 2006, pp:201-210 [Conf]
   
2. Rohit Gheyi, Tiago Massoni, Paulo Borba
   A rigorous approach for proving model refactorings. [Citation Graph (0, 0)][DBLP]
   ASE, 2005, pp:372-375 [Conf]
   
3. Rohit Gheyi, Tiago Massoni
   Formal refactorings for object models. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2005, pp:208-209 [Conf]
   
4. Tiago Massoni, Rohit Gheyi, Paulo Borba
   A model-driven approach to formal refactoring. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2005, pp:124-125 [Conf]
   
5. Rohit Gheyi, Tiago Massoni, Paulo Borba
   An Abstract Equivalence Notion for Object Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:3-21 [Journal]
   
6. Rohit Gheyi, Tiago Massoni, Paulo Borba
   A Static Semantics for Alloy and its Impact in Refactorings. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:209-233 [Journal]
   
7. 
   Formal Model-Driven Program Refactoring. [Citation Graph (, )][DBLP]
   
   
8. 
   A Complete Set of Object Modeling Laws for Alloy. [Citation Graph (, )][DBLP]
   
   
9. 
   Object-oriented Programming Laws for Annotated Java Programs [Citation Graph (, )][DBLP]
   
   
10. 
    A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. [Citation Graph (, )][DBLP]