Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
By: Hans Grönniger
Series: Aachener Informatik-Berichte, Software-Engineering -- Bd. 4; Aachener Informatik-Berichte, Software-Engineering -- Bd. 4
Publisher: Shaker
Published: 2010
Place of publication: Aachen
Language: ger
Number of pages: 344
ISBN-13: 9783832292867
Subjects: Modellgetriebene Entwicklung; Entwurfssprache; Objektorientierte Programmiersprache; Formale Semantik; Isabelle; HOL
Notes: Zugl.: Aachen, Techn. Hochsch., Diss., 2010