Seguir
Isabel Nunes
Isabel Nunes
Lasige, Faculdade de Ciências, Universidade de Lisboa
Email confirmado em fc.ul.pt
Título
Citado por
Citado por
Ano
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
A modal logic of durative actions
I Nunes, JL Fiadeiro, WM Turski
Advances in Temporal Logic, 299-317, 2000
92000
An OCL extension for low-coupling preserving contracts
I Nunes
International Conference on the Unified Modeling Language, 310-324, 2003
82003
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
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
Viewing dl-programs as multi-context systems
L Cruz-Filipe, R Henriques, I Nunes
Technical Report 2013, 2013
32013
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20