%0
Generic
%T
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
%A Grönniger, Hans
%A Rumpe, Bernhard
%I Universitätsbibliothek der RWTH Aachen
%K Modellgetriebene Entwicklung
%K Entwurfssprache
%K Objektorientierte Programmiersprache
%K Formale Semantik
%K Isabelle
%K HOL
%K Isabelle (Programm)
%K (VLB-FS)Formale Semantik
%K (VLB-FS)Varianten
%K (VLB-FS)Variabilität
%K (VLB-FS)Modellierungssprachen
%K (VLB-FS)UML
%K (Zielgruppe)Fachpublikum/ Wissenschaft
%K Hochschulschrift
%K Isabelle Programm
%D 2022
%X In: Aachen : Shaker, 2010 (Aachener Informatik-Berichte, Software Engineering; 4)
%C Universitätsbibliothek der RWTH Aachen
%C Aachen
%U http://slubdd.de/katalog?TN_libero_mab2