BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × South Africa
1 × USA
1 × United Kingdom
Collaborated with:
M.Clavel M.Egea M.A.G.d.Dios M.Schläpfer D.A.Basin
Talks about:
ocl (4) model (2) base (2) sql (2) constraint (1) procedur (1) satisfi (1) languag (1) generat (1) environ (1)

Person: Carolina Dania

DBLP DBLP: Dania:Carolina

Contributed to:

FASE 20152015
ICSE 20102010
MoDELS 20162016
MoDELS 20172017

Wrote 4 papers:

FASE-2015-DaniaC #modelling #reasoning
Model-Based Formal Reasoning about Data-Management Applications (CD, MC), pp. 218–232.
ICSE-2010-DiosDSBCE #development #modelling #named #user interface
SSG: a model-based development environment for smart, security-aware GUIs (MAGdD, CD, MS, DAB, MC, ME), pp. 311–312.
MoDELS-2016-DaniaC #constraints #first-order #logic #named #ocl #satisfiability
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints (CD, MC), pp. 65–75.
MoDELS-2017-EgeaD #automation #code generation #named #ocl #sql
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language (ME, CD), p. 54.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.