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: Vermolen:Sander
Contributed to:
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.