Isabel Nunes
Isabel Nunes
BioISI, Dept. Informática, 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
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
192009
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
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
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
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
I Nunes, F Luıs
Technical Report 02, Faculty of Sciences of the University of Lisbon, 2012
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