Hochschulschrift
Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844003130
- Dimensions
-
24 cm
- Extent
-
XI, 300 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diss., 2011
- Bibliographic citation
-
Aachener Informatik-Berichte, Software-Engineering ; Bd. 8
- Keyword
-
Modellgetriebene Entwicklung
Spezifikationssprache
Abstraktionsebene
Quellcode
Graphersetzungssystem
Graph-Grammatik
Übersetzer
Prototyping
Erweiterbarkeit
- 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, 1:49 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Weinell, Erhard Herbert
- Shaker
Time of origin
- 2011
Other Objects (12)
Rahmenwerk zur Automatisierung des Entwurfs digitaler Signalprozessoren
Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen
Computerunterstützte Operationsplanung und -ausführung mittels individueller Bearbeitungsschablonen in der Orthopädie
Sprachunabhängige dynamische Ausführung von Vorgehensmodellen
Klebstoffaushärtung mittels Hochfrequenzerwärmung
Methoden zur kontrollierten Ausführung nichtdeterministischer kommunizierender Programme
Automatische Fahrzeugführung mittels Modellfolge
Ein Rahmenwerk zur interaktiven Klassifikation hochauflösender optischer Satellitenbilder mittels graphenbasierter Bildmodellierung
Messsystem zur Ölzustandsüberwachung mittels Infrarotspektroskopie
Aushärtung nanopartikelmodifizierter Reaktionsklebstoffe mittels Mikrowellenerwärmung
Herstellung großflächiger Nanostrukturen mittels Interferenzlithographie
Dynamische probabilistische Bewegungsmodelle mittels Verhaltensmodellierung
Rahmenwerk zur Automatisierung des Entwurfs digitaler Signalprozessoren
Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen
Computerunterstützte Operationsplanung und -ausführung mittels individueller Bearbeitungsschablonen in der Orthopädie
Sprachunabhängige dynamische Ausführung von Vorgehensmodellen
Klebstoffaushärtung mittels Hochfrequenzerwärmung
Methoden zur kontrollierten Ausführung nichtdeterministischer kommunizierender Programme
Automatische Fahrzeugführung mittels Modellfolge
Ein Rahmenwerk zur interaktiven Klassifikation hochauflösender optischer Satellitenbilder mittels graphenbasierter Bildmodellierung
Messsystem zur Ölzustandsüberwachung mittels Infrarotspektroskopie
Aushärtung nanopartikelmodifizierter Reaktionsklebstoffe mittels Mikrowellenerwärmung
Herstellung großflächiger Nanostrukturen mittels Interferenzlithographie
Dynamische probabilistische Bewegungsmodelle mittels Verhaltensmodellierung
Rahmenwerk zur Automatisierung des Entwurfs digitaler Signalprozessoren
Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen
Computerunterstützte Operationsplanung und -ausführung mittels individueller Bearbeitungsschablonen in der Orthopädie
Sprachunabhängige dynamische Ausführung von Vorgehensmodellen
Klebstoffaushärtung mittels Hochfrequenzerwärmung
Methoden zur kontrollierten Ausführung nichtdeterministischer kommunizierender Programme
Automatische Fahrzeugführung mittels Modellfolge
Ein Rahmenwerk zur interaktiven Klassifikation hochauflösender optischer Satellitenbilder mittels graphenbasierter Bildmodellierung
Messsystem zur Ölzustandsüberwachung mittels Infrarotspektroskopie
Aushärtung nanopartikelmodifizierter Reaktionsklebstoffe mittels Mikrowellenerwärmung
Herstellung großflächiger Nanostrukturen mittels Interferenzlithographie