Search the dblp DataBase

Publications of Author

1. Paulo Borba, Augusto Sampaio, Márcio Cornélio
   A Refinement Algebra for Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2003, pp:457-482 [Conf]
   
2. Márcio Cornélio, Paulo Borba
   Structuring Meachanisms for an Object-Oriented Formal Specification Language. [Citation Graph (0, 0)][DBLP]
   ICSR, 2000, pp:402-419 [Conf]
   
3. Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
   Refactoring by Transformation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
4. Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
   Refactoring Towards a Layered Architecture. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:281-300 [Journal]
   
5. Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
   Algebraic reasoning for object-oriented programming. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2004, v:52, n:, pp:53-100 [Journal]
   
6. Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio
   Using CafeOBJ to Mechanise Refactoring Proofs and Application. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:39-61 [Journal]
   
7. 
   Flexible Transformation Language. [Citation Graph (, )][DBLP]
   
   
8. 
   Implementing Java modeling language contracts with AspectJ. [Citation Graph (, )][DBLP]
   
   
9. 
   A JML Compiler Based on AspectJ. [Citation Graph (, )][DBLP]
   
   
10. 
    Object-oriented Programming Laws for Annotated Java Programs [Citation Graph (, )][DBLP]