| |
| 2006 | ||
|---|---|---|
| 5 | EE | Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis: Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM 2006: 494-513 |
| 2004 | ||
| 4 | EE | Isabel Nunes: Method redefinition--ensuring alternative behaviors. Inf. Process. Lett. 92(6): 279-285 (2004) |
| 2003 | ||
| 3 | Isabel Nunes: Polymorphism in Object-Oriented Contract Verification. Software Engineering Research and Practice 2003: 575-581 | |
| 2 | EE | Isabel Nunes: An OCL Extension for Low-Coupling Preserving Contracts. UML 2003: 310-324 |
| 2002 | ||
| 1 | EE | Isabel Nunes: Design by Contract Using Meta-Assertions. Journal of Object Technology 1(3): 37-56 (2002) |
| 1 | João Abreu | [5] |
| 2 | Antónia Lopes | [5] |
| 3 | Luís S. Reis | [5] |
| 4 | Vasco Thudichum Vasconcelos | [5] |