Travelled to:
1 × France
1 × The Netherlands
1 × USA
2 × Germany
Collaborated with:
G.Engels H.Wehrheim S.Arifulina A.Rensink M.Semenyak N.Bandener B.Güldali M.Hülsbusch B.König A.Kleppe
Talks about:
specif (3) model (3) transform (2) preserv (2) visual (2) toward (2) semant (2) test (2) dmm (2) comparison (1)
Person: Christian Soltenborn
DBLP: Soltenborn:Christian
Contributed to:
Wrote 6 papers:
- GT-VMT-2012-ArifulinaSE #specification #test coverage #testing
- Coverage Criteria for Testing DMM Specifications (SA, CS, GE).
- IFM-2010-HulsbuschKRSSW #comparison #model transformation #semantics
- Showing Full Semantics Preservation in Model Transformation — A Comparison of Techniques (MH, BK, AR, MS, CS, HW), pp. 183–198.
- SLE-2010-BandenerSE #behaviour #debugging #execution #specification #visual notation
- Extending DMM Behavior Specifications for Visual Execution and Debugging (NB, CS, GE), pp. 357–376.
- MoDELS-2009-SoltenbornE #semantics #specification #testing #towards
- Towards Test-Driven Semantics Specification (CS, GE), pp. 378–392.
- ECMDA-FA-2008-EngelsKRSSW #behaviour #model transformation #process #towards #uml
- From UML Activities to TAAL — Towards Behaviour-Preserving Model Transformations (GE, AK, AR, MS, CS, HW), pp. 94–109.
- AGTIVE-2007-EngelsGSW #consistency #contract #modelling #process #using #visual notation #web #web service
- Assuring Consistency of Business Process Models and Web Services Using Visual Contracts (GE, BG, CS, HW), pp. 17–31.