Maria Isabel Batalha Reis Gama Nunes
AuthID: R-000-BPK
11
TITLE: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming Full Text
AUTHORS: Isabel Nunes; Antonia Lopes ; Vasco T Vasconcelos ;
PUBLISHED: 2009, SOURCE: 9th International Workshop on Runtime Verification in RUNTIME VERIFICATION, VOLUME: 5779
AUTHORS: Isabel Nunes; Antonia Lopes ; Vasco T Vasconcelos ;
PUBLISHED: 2009, SOURCE: 9th International Workshop on Runtime Verification in RUNTIME VERIFICATION, VOLUME: 5779
12
TITLE: Checking the conformance of Java classes against algebraic specifications
AUTHORS: Isabel Nunes; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu; Luis S Reis;
PUBLISHED: 2006, SOURCE: 8th International Conference on Formal Engineering Methods (ICFEM 2006) in Formal Methods and Software Engineering, Proceedings, VOLUME: 4260
AUTHORS: Isabel Nunes; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu; Luis S Reis;
PUBLISHED: 2006, SOURCE: 8th International Conference on Formal Engineering Methods (ICFEM 2006) in Formal Methods and Software Engineering, Proceedings, VOLUME: 4260
13
TITLE: Method redefinition - ensuring alternative behaviors Full Text
AUTHORS: Nunes, I;
PUBLISHED: 2004, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 92, ISSUE: 6
AUTHORS: Nunes, I;
PUBLISHED: 2004, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 92, ISSUE: 6
14
TITLE: Polymorphism in object-oriented contract verification
AUTHORS: Nunes, I;
PUBLISHED: 2003, SOURCE: International Conference on Software Engineering Research and Practice in SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, VOLUME: 2
AUTHORS: Nunes, I;
PUBLISHED: 2003, SOURCE: International Conference on Software Engineering Research and Practice in SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, VOLUME: 2
INDEXED IN: 
Scopus 
WOS
Scopus WOS15
TITLE: An OCL extension for low-coupling preserving contracts
AUTHORS: Nunes, I;
PUBLISHED: 2003, SOURCE: 6th International Conference on the Unified Modeling Language in UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, VOLUME: 2863
AUTHORS: Nunes, I;
PUBLISHED: 2003, SOURCE: 6th International Conference on the Unified Modeling Language in UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, VOLUME: 2863
INDEXED IN: WOS
WOS