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
192013
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
82003
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
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
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
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
Viewing dl-programs as multi-context systems
L Cruz-Filipe, R Henriques, I Nunes
Technical Report 2013, 2013
42013
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
The system can't perform the operation now. Try again later.
Articles 1–20