TY  - THES
AU  - Dania Flores, Carolina Inés
A3  - García Clavel, Manuel
A3  - Egea González, Marina
PY  - 2018
UR  - https://hdl.handle.net/20.500.14352/16457
AB  - Esta tesis doctoral debe gran parte de su motivación inicial y enfoque final a la discusión muy animada y perspicaz que tuvo lugar durante el seminario “Automated Reasoning on Conceptual Schemas” en Dagstuhl (19-24 Mayo, 2013) [18], en el cual tuvimos...
AB  - This doctoral dissertation owes a great deal of its initial motivation and final focusto the very lively and insightful discussion that took place during the Dagstuhl Seminar“Automated Reasoning on Conceptual Schemas” (19-24 May, 2013) [18], which we...
LA  - eng
PB  - Universidad Complutense de Madrid
KW  - Programación con restricciones
KW  - OCL (lenguaje programación)
KW  - Constraint programming
KW  - OCL ((Programming language)
TI  - Mapping OCL as a Query and Constraint Language
T2  - Traduciendo OCL como lenguaje de consultas y restricciones
M3  - doctoral thesis
ER  -