Title: Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
Subjects: Modellgetriebene Entwicklung, Entwurfssprache, Objektorientierte Programmiersprache, Formale Semantik, Isabelle, HOL