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: Pons:Claudia
Contributed to:
2009
2008
2006
2002
1995Wrote 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.