Folgen
Isabel Nunes
Isabel Nunes
Lasige, Faculdade de Ciências, Universidade de Lisboa
Bestätigte E-Mail-Adresse bei fc.ul.pt
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20