2008 |
8 | EE | Henrique Rebêlo,
Ricardo Massa Ferreira Lima,
Márcio Cornélio,
Sérgio Soares:
A JML Compiler Based on AspectJ.
ICST 2008: 541-544 |
7 | EE | Henrique Rebêlo,
Sérgio Soares,
Ricardo Massa Ferreira Lima,
Leopoldo Ferreira,
Márcio Cornélio:
Implementing Java modeling language contracts with AspectJ.
SAC 2008: 228-233 |
2007 |
6 | EE | Antonio Carvalho Júnior,
Leila Silva,
Márcio Cornélio:
Using CafeOBJ to Mechanise Refactoring Proofs and Application.
Electr. Notes Theor. Comput. Sci. 184: 39-61 (2007) |
2005 |
5 | EE | Márcio Cornélio,
Ana Cavalcanti,
Augusto Sampaio:
Refactoring Towards a Layered Architecture.
Electr. Notes Theor. Comput. Sci. 130: 281-300 (2005) |
2004 |
4 | EE | Paulo Borba,
Augusto Sampaio,
Ana Cavalcanti,
Márcio Cornélio:
Algebraic reasoning for object-oriented programming.
Sci. Comput. Program. 52: 53-100 (2004) |
2003 |
3 | EE | Paulo Borba,
Augusto Sampaio,
Márcio Cornélio:
A Refinement Algebra for Object-Oriented Programming.
ECOOP 2003: 457-482 |
2002 |
2 | EE | Márcio Cornélio,
Ana Cavalcanti,
Augusto Sampaio:
Refactoring by Transformation.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
2000 |
1 | | Márcio Cornélio,
Paulo Borba:
Structuring Meachanisms for an Object-Oriented Formal Specification Language.
ICSR 2000: 402-419 |