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
Formal Methods and Software Engineering: 8th International Conference on …, 2006
322006
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
202013
Bridging the gap between algebraic specification and object-oriented generic programming
I Nunes, A Lopes, VT Vasconcelos
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France …, 2009
182009
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
102015
An OCL extension for low-coupling preserving contracts
I Nunes
International Conference on the Unified Modeling Language, 310-324, 2003
102003
Coordinating Durative Actions
I Nunes, J Fiadeiro, W Turski
COORDINATION 1282, 115-130, 1997
81997
Achieving tightness in dl-programs
L Cruz-Filipe, I Nunes, P Engracia, G Gaspar
72012
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
72005
A modal logic of durative actions
I Nunes, JL Fiadeiro, WM Turski
Advances in Temporal Logic, 299-317, 2000
72000
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
62020
Integrity constraints for general-purpose knowledge bases
L Cruz-Filipe, I Nunes, P Schneider-Kamp
Foundations of Information and Knowledge Systems: 9th International …, 2016
62016
Patterns for interfacing between logic programs and multiple ontologies
L Cruz-Filipe, I Nunes, G Gaspar
International Conference on Knowledge Engineering and Ontology Development 2 …, 2013
62013
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
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
Information flow within relational multi-context systems
L Cruz-Filipe, G Gaspar, I Nunes
Knowledge Engineering and Knowledge Management: 19th International …, 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
Viewing dl-programs as multi-context systems
L Cruz-Filipe, R Henriques, I Nunes
Technical Report 2013, 2013
32013
The system can't perform the operation now. Try again later.
Articles 1–20