Isabel Nunes

	2009
6		Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV 2009: 115-131
	2006
5		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		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		Isabel Nunes: An OCL Extension for Low-Coupling Preserving Contracts. UML 2003: 310-324
	2002
1		Isabel Nunes: Design by Contract Using Meta-Assertions. Journal of Object Technology 1(3): 37-56 (2002)

Coauthor Index

1	João Abreu	[5]
2	Antónia Lopes	[5] [6]
3	Luís S. Reis	[5]
4	Vasco Thudichum Vasconcelos	[5] [6]