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 × Austria
1 × Germany
1 × Hungary
1 × South Africa
2 × USA
Collaborated with:
C.Dania M.Clavel F.Büttner D.A.Basin J.Cabot E.Guerra J.d.Lara V.T.d.Silva C.Braga J.Doser M.A.G.d.Dios M.Schläpfer
Talks about:
model (4) secur (3) transform (2) base (2) sql (2) ocl (2) metamodel (1) procedur (1) industri (1) approach (1)

Person: Marina Egea

DBLP DBLP: Egea:Marina

Contributed to:

ICMT 20132013
MoDELS 20122012
ICSE 20102010
ECMDA-FA 20082008
MoDELS 20072007
MoDELS 20172017

Wrote 6 papers:

ICMT-2013-ButtnerEGL #model transformation #refinement
Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.
MoDELS-2012-ButtnerEC #atl #off the shelf #on the #smt #using #verification
On Verifying ATL Transformations Using “off-the-shelf” SMT Solvers (FB, ME, JC), pp. 432–448.
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.
ECMDA-FA-2008-ClavelSBE #experience #industrial #modelling #security
Model-Driven Security in Practice: An Industrial Experience (MC, VTdS, CB, ME), pp. 326–337.
MoDELS-2007-BasinCDE #approach #metamodelling #modelling
A Metamodel-Based Approach for Analyzing Security-Design Models (DAB, MC, JD, ME), pp. 420–435.
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.