Hochschulschrift
Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844003130
- Maße
-
24 cm
- Umfang
-
XI, 300 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diss., 2011
- Erschienen in
-
Aachener Informatik-Berichte, Software-Engineering ; Bd. 8
- Schlagwort
-
Modellgetriebene Entwicklung
Spezifikationssprache
Abstraktionsebene
Quellcode
Graphersetzungssystem
Graph-Grammatik
Übersetzer
Prototyping
Erweiterbarkeit
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:49 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Weinell, Erhard Herbert
- Shaker
Entstanden
- 2011
Ähnliche Objekte (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