Hochschulschrift

Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783832292867
Maße
24 cm, 536 gr.
Umfang
344 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diss., 2010

Erschienen in
Aachener Informatik-Berichte, Software-Engineering ; Bd. 4

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)
Shaker
(wann)
2010
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:02 MESZ

Datenpartner

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

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 2010

Ähnliche Objekte (12)