> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten Beteiligte: Grönniger, Hans [VerfasserIn]; Rumpe, Bernhard [AkademischeR BetreuerIn] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2022 Umfang: 1 Online-Ressource Sprache: Deutsch DOI: 10.18154/RWTH-CONV-124661 Identifikator: Schlagwörter: Modellgetriebene Entwicklung > Entwurfssprache > Objektorientierte Programmiersprache > Formale Semantik > Isabelle > HOL Entstehung: Hochschulschrift: Dissertation, Aachen, Techn. Hochsch, 2010 Anmerkungen: In: Aachen : Shaker, 2010 (Aachener Informatik-Berichte, Software Engineering; 4) Zugangsstatus: Freier Zugang