Monografie
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
- Sprache
-
Deutsch
- Umfang
-
344 S.
- Anmerkungen
-
Zugl.: Aachen, Techn. Hochsch., Diss., 2010
- ISBN
-
978-3-8322-9286-7
- Identifier
-
1005712719
- Reihe
-
Aachener Informatik-Berichte, Software-Engineering; Bd. 4
Thema
Isabelle ; Objektorientierte Programmiersprache; Formale Semantik; Isabelle (Programm); Entwurfssprache; HOL; Modellgetriebene Entwicklung; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:43 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
MontiCore: agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertung
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML-P
MontiTrans: agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
Management dynamischer Geschäftsprozesse auf Basis statischer Prozessmanagementsysteme
Automotive Software : Prozesse, Modelle und Variabilität
Generierung domänenspezifischer Transformationssprachen
Agile modellgetriebene Entwicklung von Software Security & Privacy
MontiCore: efficient development of composed modeling language essentials
Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
MontiCore: agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertung
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML-P
MontiTrans: agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
Management dynamischer Geschäftsprozesse auf Basis statischer Prozessmanagementsysteme
Automotive Software : Prozesse, Modelle und Variabilität
Generierung domänenspezifischer Transformationssprachen
Agile modellgetriebene Entwicklung von Software Security & Privacy
MontiCore: efficient development of composed modeling language essentials
Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen
Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
MontiCore: agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering
Metrik-basierte Auswertung von Software-Entwicklungsarchiven zur Prozessbewertung
Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML-P
MontiTrans: agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
Management dynamischer Geschäftsprozesse auf Basis statischer Prozessmanagementsysteme
Automotive Software : Prozesse, Modelle und Variabilität
Generierung domänenspezifischer Transformationssprachen
Agile modellgetriebene Entwicklung von Software Security & Privacy
MontiCore: efficient development of composed modeling language essentials
Ein Rahmenwerk für operationale Spezifikationssprachen : Sprachrealisierung und Ausführung mittels Graphtransformationen