Hochschulschrift

Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Deutsch
Anmerkungen
In: Aachen : Shaker, 2010 (Aachener Informatik-Berichte, Software Engineering; 4)
Aachen, Techn. Hochsch., Dissertation, 2010

Schlagwort
Modellgetriebene Entwicklung
Entwurfssprache
Objektorientierte Programmiersprache
Formale Semantik
Isabelle
HOL
Objektorientierte Programmiersprache
Formale Semantik
Isabelle (Programm)
Entwurfssprache
HOL
Modellgetriebene Entwicklung

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Universitätsbibliothek der RWTH Aachen
(wann)
2022
Urheber
Beteiligte Personen und Organisationen
Rumpe, Bernhard

DOI
10.18154/RWTH-CONV-124661
URN
urn:nbn:de:101:1-2022033003242344127727
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:52 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 2022

Ähnliche Objekte (12)