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 × Italy
Collaborated with:
Talks about:
refin (2) lightweight (1) transform (1) techniqu (1) approach (1) specifi (1) verifi (1) semant (1) orient (1) valid (1)

Person: Diego García

DBLP DBLP: Garc=iacute=a:Diego

Contributed to:

MBT 20082008
MoDELS 20062006

Wrote 2 papers:

MBT-2008-PonsG #approach #lightweight #semantics #validation
A Lightweight Approach for the Semantic Validation of Model Refinements (CP, DG), pp. 43–61.
MoDELS-2006-PonsG #ocl #specification #verification
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.

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.