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
3 × USA
Collaborated with:
D.García J.Irazábal G.Baum
Talks about:
model (3) transform (2) semant (2) orient (2) refin (2) lightweight (1) techniqu (1) approach (1) specifi (1) softwar (1)

Person: Claudia Pons

DBLP DBLP: Pons:Claudia

Contributed to:

SLE 20092009
MBT 20082008
MoDELS 20062006
ICSE 20022002
SEKE 19951995

Wrote 5 papers:

SLE-2009-IrazabalP #data type #model transformation #modelling #transformation language
Model Transformation Languages Relying on Models as ADTs (JI, CP), pp. 133–143.
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.
ICSE-2002-PonsB #correctness #development #process #reasoning
Reasoning about the correctness of software development process (CP, GB), p. 708.
SEKE-1995-Pons #object-oriented #semantics
Formal Semantics for Object Oriented Systems (CP), pp. 87–94.

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.