Maria Isabel Batalha Reis Gama Nunes
AuthID: R-000-BPK
11
TÃTULO: Chronic Ocular Graft vs Host Disease as a Serious Complication of Allogeneic Hematopoietic Stem Cell Transplantation: Case Report Full Text
AUTORES: Gama, I; Rodrigues, W; Franco, J; Almeida, L; Monteiro Grillo, M;
PUBLICAÇÃO: 2015, FONTE: TRANSPLANTATION PROCEEDINGS, VOLUME: 47, NÚMERO: 4
AUTORES: Gama, I; Rodrigues, W; Franco, J; Almeida, L; Monteiro Grillo, M;
PUBLICAÇÃO: 2015, FONTE: TRANSPLANTATION PROCEEDINGS, VOLUME: 47, NÚMERO: 4
12
TÃTULO: A 5-step hunt for faults in Java implementations of algebraic specifications
AUTORES: Isabel Nunes; Filipe Luis;
PUBLICAÇÃO: 2013, FONTE: 6th IEEE International Conference on Software Testing, Verification and Validation (ICST) in IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013)
AUTORES: Isabel Nunes; Filipe Luis;
PUBLICAÇÃO: 2013, FONTE: 6th IEEE International Conference on Software Testing, Verification and Validation (ICST) in IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013)
13
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
14
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
15
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
16
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 WOS17
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