BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Soltenborn:Christian

Contributed to:

GT-VMT 20122012
IFM 20102010
SLE 20102010
MoDELS 20092009
ECMDA-FA 20082008
AGTIVE 20072007

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.

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.