Follow
Isabel Nunes
Isabel Nunes
Lasige, Faculdade de Ciências, Universidade de Lisboa
Verified email at fc.ul.pt
Title
Cited by
Cited by
Year
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
312006
Computing repairs from active integrity constraints
L Cruz-Filipe, G Gaspar, P Engrácia, I Nunes
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
182013
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
Design by contract using meta-assertions
I Nunes
Journal of Object Technology 1 (3), 37-56, 2002
122002
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
102015
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
92000
Achieving tightness in dl-programs
L Cruz-Filipe, I Nunes, P Engracia, G Gaspar
72012
Coordinating Durative Actions
I Nunes, J Fiadeiro, W Turski
COORDINATION 1282, 115-130, 1997
71997
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
Description logics, rules and multi-context systems
IN Luís Cruz-Filipe, Rita Henriques
nternational Conference on Logic for Programming Artificial Intelligence and …, 2013
5*2013
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
Hypothetical answers to continuous queries over data streams
L Cruz-Filipe, I Nunes, G Gaspar
Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2798-2805, 2020
42020
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
Active integrity constraints for multi-context systems
L Cruz-Filipe, G Gaspar, I Nunes, P Schneider-Kamp
Knowledge Engineering and Knowledge Management: 20th International …, 2016
32016
The system can't perform the operation now. Try again later.
Articles 1–20