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 × Cyprus
1 × Germany
1 × Switzerland
2 × United Kingdom
Collaborated with:
A.Rutle A.Rossini Y.Lamo ∅ H.König M.Löwe C.Schulz
Talks about:
formalis (3) transform (2) model (2) diagrammat (1) constraint (1) categori (1) approach (1) version (1) theoret (1) partial (1)

Person: Uwe Wolter

DBLP DBLP: Wolter:Uwe

Contributed to:

ICGT 20142014
FASE 20102010
FASE 20092009
TOOLS Europe 20092009
ALP 19881988

Wrote 5 papers:

ICGT-2014-KonigLSW #graph transformation
Van Kampen Squares for Graph Transformation (HK, ML, CS, UW), pp. 222–236.
FASE-2010-RutleRLW #constraints #formal method #model transformation
A Formalisation of Constraint-Aware Model Transformations (AR, AR, YL, UW), pp. 13–28.
FASE-2009-RutleRLW #approach #formal method #version control
A Category-Theoretical Approach to the Formalisation of Version Control in MDE (AR, AR, YL, UW), pp. 64–78.
TOOLS-EUROPE-2009-RutleRLW #diagrams #formal method #modelling
A Diagrammatic Formalisation of MOF-Based Modelling Languages (AR, AR, YL, UW), pp. 37–56.
ALP-1988-Wolter #equation
Narrowing in Partial Conditional Equational Theories (UW), p. 244.
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.