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 × Hungary
1 × Italy
1 × Switzerland
Collaborated with:
H.Giese L.Lambers C.Krause S.Schlesinger S.Glesner B.Becker S.Birth
Talks about:
transform (3) preserv (2) base (2) metamodel (1) refactor (1) behavior (1) partial (1) develop (1) consist (1) automat (1)

Person: Johannes Dyck

DBLP DBLP: Dyck:Johannes

Contributed to:

AMT 20152015
ICGT 20152015
ICMT 20132013
ICMT 20112011

Wrote 4 papers:

AMT-2015-DyckGLSG #automation #behaviour #model transformation #towards #verification
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.
ICGT-2015-DyckG #induction #invariant
Inductive Invariant Checking with Partial Negative Application Conditions (JD, HG), pp. 237–253.
ICMT-2013-KrauseDG #co-evolution #evolution #graph transformation #metamodelling
Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (CK, JD, HG), pp. 76–91.
ICMT-2011-BeckerLDBG #development #refactoring #rule-based
Iterative Development of Consistency-Preserving Rule-Based Refactorings (BB, LL, JD, SB, HG), pp. 123–137.
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.