Isabel Nunes

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
c5		Isabel Nunes, Filipe Luís: Testing Java implementations of algebraic specifications. MBT 2013: 35-50
	2009
c4		Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV 2009: 115-131
	2006
c3		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
j2		Isabel Nunes: Method redefinition--ensuring alternative behaviors. Inf. Process. Lett. 92(6): 279-285 (2004)
	2003
c2		Isabel Nunes: Polymorphism in Object-Oriented Contract Verification. Software Engineering Research and Practice 2003: 575-581
c1		Isabel Nunes: An OCL Extension for Low-Coupling Preserving Contracts. UML 2003: 310-324
	2002
j1		Isabel Nunes: Design by Contract Using Meta-Assertions. Journal of Object Technology 1(3): 37-56 (2002)

Coauthor Index

1	João Abreu	[c3]
2	Antónia Lopes	[c4] [c3]
3	Filipe Luís	[c5]
4	Luís S. Reis	[c3]
5	Vasco Thudichum Vasconcelos (Vasco T. Vasconcelos)	[c4] [c3]

Last update Wed May 22 04:21:08 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page