Isabel Nunes
Isabel Nunes
BioISI, Dept. Informática, Faculdade de Ciências, Universidade de Lisboa
Verified email at fc.ul.pt
TitleCited byYear
Checking the conformance of Java classes against algebraic specifications
I Nunes, A Lopes, V Vasconcelos, J Abreu, LS Reis
International Conference on Formal Engineering Methods, 494-513, 2006
292006
Bridging the gap between algebraic specification and object-oriented generic programming
I Nunes, A Lopes, VT Vasconcelos
International Workshop on Runtime Verification, 115-131, 2009
182009
Computing repairs from active integrity constraints
L Cruz-Filipe, G Gaspar, P Engracia, I Nunes
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
122013
Design by contract using meta-assertions
I Nunes
Journal of Object Technology 1 (3), 37-56, 2002
112002
repAIrC: A tool for ensuring data consistency by means of active integrity constraints
L Cruz-Filipe, M Franz, A Hakhverdyan, M Ludovico, I Nunes, ...
KMIS, 17-26, 2015
92015
An OCL extension for low-coupling preserving contracts
I Nunes
International Conference on the Unified Modeling Language, 310-324, 2003
92003
A modal logic of durative actions
I Nunes, JL Fiadeiro, WM Turski
Advances in Temporal Logic, 299-317, 2000
82000
Achieving tightness in dl-programs
L Cruz-Filipe, I Nunes, P Engracia, G Gaspar
72012
Integrity constraints for general-purpose knowledge bases
L Cruz-Filipe, I Nunes, P Schneider-Kamp
FoIKS, 235-254, 2016
62016
Patterns for Interfacing between Logic Programs and Multiple Ontologies.
L Cruz-Filipe, I Nunes, G Gaspar
KEOD, 58-69, 2013
62013
Testing implementations of algebraic specifications with design-by-contract tools
I Nunes, A Lopes, VT Vasconcelos, J Abreu, LS Reis
Department of Informatics, University of Lisbon, 2005
62005
Coordinating Durative Actions
I Nunes, J Fiadeiro, W Turski
COORDINATION 1282, 115-130, 1997
61997
Description logics, rules and multi-context systems
L Cruz-Filipe, R Henriques, I Nunes
International Conference on Logic for Programming Artificial Intelligence …, 2013
52013
Congu, Checking Java Classes Against Property-Driven Algebraic Specifications
J Abreu, A Caldeira, A Lopes, I Nunes, LS Reis, V Vasconcelos
DI/FCUL TR 07-7, 2007
52007
Active integrity constraints for multi-context systems
L Cruz-Filipe, G Gaspar, I Nunes, P Schneider-Kamp
European Knowledge Acquisition Workshop, 98-112, 2016
42016
Information flow within relational multi-context systems
L Cruz-Filipe, G Gaspar, I Nunes
International Conference on Knowledge Engineering and Knowledge Management …, 2014
42014
A fault-location technique for Java implementations of algebraic specifications
F Luis, I Nunes
42012
Enhancing Modularity and Feedback in Computer Aided Assessment
P Duarte, I Nunes, J Pedro Neto, T Chambel
15th International Conference on Computing (CIC 2006), 240-246, 2006
42006
Viewing dl-programs as multi-context systems
L Cruz-Filipe, R Henriques, I Nunes
Technical Report 2013, 2013
32013
Patterns for programming in the semantic web
L Cruz-Filipe, I Nunes, G Gaspar
Technical Report 2012, 0
3
The system can't perform the operation now. Try again later.
Articles 1–20