Maria Isabel Batalha Reis Gama Nunes
AuthID: R-000-BPK
11
TÃTULO: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming Full Text
AUTORES: Isabel Nunes; Antonia Lopes ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2009, FONTE: 9th International Workshop on Runtime Verification in RUNTIME VERIFICATION, VOLUME: 5779
AUTORES: Isabel Nunes; Antonia Lopes ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2009, FONTE: 9th International Workshop on Runtime Verification in RUNTIME VERIFICATION, VOLUME: 5779
12
TÃTULO: Checking the conformance of Java classes against algebraic specifications
AUTORES: Isabel Nunes; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu; Luis S Reis;
PUBLICAÇÃO: 2006, FONTE: 8th International Conference on Formal Engineering Methods (ICFEM 2006) in Formal Methods and Software Engineering, Proceedings, VOLUME: 4260
AUTORES: Isabel Nunes; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu; Luis S Reis;
PUBLICAÇÃO: 2006, FONTE: 8th International Conference on Formal Engineering Methods (ICFEM 2006) in Formal Methods and Software Engineering, Proceedings, VOLUME: 4260
13
TÃTULO: Method redefinition - ensuring alternative behaviors Full Text
AUTORES: Nunes, I;
PUBLICAÇÃO: 2004, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 92, NÚMERO: 6
AUTORES: Nunes, I;
PUBLICAÇÃO: 2004, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 92, NÚMERO: 6
14
TÃTULO: Polymorphism in object-oriented contract verification
AUTORES: Nunes, I;
PUBLICAÇÃO: 2003, FONTE: 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
AUTORES: Nunes, I;
PUBLICAÇÃO: 2003, FONTE: 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
INDEXADO EM: 
Scopus 
WOS
Scopus WOS15
TÃTULO: An OCL extension for low-coupling preserving contracts
AUTORES: Nunes, I;
PUBLICAÇÃO: 2003, FONTE: 6th International Conference on the Unified Modeling Language in UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, VOLUME: 2863
AUTORES: Nunes, I;
PUBLICAÇÃO: 2003, FONTE: 6th International Conference on the Unified Modeling Language in UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, VOLUME: 2863
INDEXADO EM: WOS
WOS