> 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 [Verfasser]; Rumpe, Bernhard [Akademischer Betreuer] Erschienen: Aachen: Universitätsbibliothek der RWTH Aachen, 2022 Umfang: 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