| 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 |
