BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × France
1 × Portugal
1 × Switzerland
1 × The Netherlands
Collaborated with:
E.Visser G.Wachsmuth J.Hooman P.G.Larsen M.Herrmannsdörfer G.d.Geest A.v.Deursen
Talks about:
evolut (4) languag (3) metamodel (2) softwar (2) model (2) coupl (2) reconstruct (1) heterogen (1) convertor (1) version (1)

Person: Sander Vermolen

DBLP DBLP: Vermolen:Sander

Contributed to:

SLE 20112011
SAC 20102010
SLE 20102010
MoDELS 20082008
WCRE 20082008

Wrote 6 papers:

SLE-2011-VermolenWV #evolution #metamodelling
Reconstructing Complex Metamodel Evolution (SV, GW, EV), pp. 201–221.
SAC-2010-VermolenHL #consistency #modelling #proving #using
Proving consistency of VDM models using HOL (SV, JH, PGL), pp. 2503–2510.
SLE-2010-HerrmannsdoerferVW #co-evolution #evolution #metamodelling #modelling
An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models (MH, SV, GW), pp. 163–182.
MoDELS-2008-VermolenV #co-evolution #evolution
Heterogeneous Coupled Evolution of Software Languages (SV, EV), pp. 630–644.
WCRE-2008-GeestVDV #domain-specific language #generative
Generating Version Convertors for Domain-Specific Languages (GdG, SV, AvD, EV), pp. 197–201.
WCRE-2008-Vermolen #evolution
Software Language Evolution (SV), pp. 323–326.

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.