Volgen
Carolina Dania
Carolina Dania
OLX Group
Geen geverifieerd e-mailadres
Titel
Geciteerd door
Geciteerd door
Jaar
MySQL4OCL: A stored procedure-based MySQL code generator for OCL
M Egea, C Dania, M Clavel
Electronic Communications of the EASST 36, 2010
372010
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints
C Dania, M Clavel
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
352016
A model-driven methodology for developing secure data-management applications
D Basin, M Clavel, M Egea, MAG de Dios, C Dania
IEEE Transactions on Software Engineering 40 (4), 324-337, 2014
342014
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language
M Egea, C Dania
Software & Systems Modeling 18, 769-791, 2019
262019
OCL2FOL+: Coping with Undefinedness.
C Dania, M Clavel
OCL@ MoDELS 1092, 53-62, 2013
252013
Panel discussion: Proposals for improving OCL
AD Brucker, T Clark, C Dania, G Georg, M Gogolla, F Jouault, ...
OCL 2014: OCL and Textual Modeling: Applications and Case Studies …, 2014
192014
Model-driven development of a secure ehealth application
MAG de Dios, C Dania, D Basin, M Clavel
Engineering Secure Future Internet Services and Systems: Current Research …, 2014
182014
Model-driven development of security-aware GUIs for data-centric applications
D Basin, M Clavel, M Egea, MA García de Dios, C Dania, G Ortiz, ...
Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures 11 …, 2011
142011
SSG: A model-based development environment for smart, security-aware GUIs
MA García de Dios, C Dania, M Schläpfer, D Basin, M Clavel, M Egea
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
52010
Modeling social networking privacy
C Dania, M Clavel
2014 Theoretical Aspects of Software Engineering Conference, 50-57, 2014
22014
MySQL4OCL: Un compilador de OCL a MySQL
C Dania
Universidad Complutense de Madrid, 2011
22011
Model-Based Formal Reasoning about Data-Management Applications
C Dania, M Clavel
International Conference on Fundamental Approaches to Software Engineering …, 2015
12015
Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
CI Dania
12008
Formal Reasoning about Fine-Grained Access Control Policies.
MAG de Dios, C Dania, M Clavel
APCCM, 91-100, 2015
2015
Verifying UML/OCL Models with OCL2MSFOL. A Benchmarking Exercise
C Dania, M Clavel
ActionGUI semantics
D Basin, M Clavel, M Egea, MAG de Dios, C Dania
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–16