Hochschulschrift

Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783832292867
Dimensions
24 cm, 536 gr.
Extent
344 S.
Language
Deutsch
Notes
graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diss., 2010

Bibliographic citation
Aachener Informatik-Berichte, Software-Engineering ; Bd. 4

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

Event
Veröffentlichung
(where)
Aachen
(who)
Shaker
(when)
2010
Creator

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 2:02 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

Time of origin

  • 2010

Other Objects (12)