KIT | KIT-Bibliothek | Impressum

Specification Languages for Preserving Consistency between Models of Different Languages

Kramer, Max Emanuel

Abstract:
In dieser Dissertation stellen wir drei Sprachen für die Entwicklung von Werkzeugen vor, welche Systemrepräsentationen während der Softwareentwicklung konsistent halten.

Bei der Entwicklung komplexer informationstechnischer Systeme ist es üblich, mehrere Programmiersprachen und Modellierungssprachen zu nutzen. Dabei werden Teile des Systems mit unterschiedlichen Sprachen konstruiert und dargestellt, um verschiedene Entwurfs- und Entwicklungstätigkeiten zu unterstützen. Die übergreifende Struktur eines Systems wird beispielsweise oft mit Hilfe einer Architekturbeschr ... mehr

Abstract (englisch):
In this thesis, we present three languages for the development of tools that keep different system representations consistent during software development.

When complex IT systems are developed, it is common practice to use several programming and modelling languages. System parts are designed and represented using different languages in order to support various design and development tasks. The overall structure of a system, for example, is often represented with an architectural description language. To specify the detailed behavior of individual system parts, a st ... mehr


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Hochschulschrift
Jahr 2017
Sprache Englisch
Identifikator DOI(KIT): 10.5445/IR/1000069284
URN: urn:nbn:de:swb:90-692845
KITopen ID: 1000069284
Verlag Karlsruhe
Umfang XVI, 278 S.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdatum 10.02.2017
Referent/Betreuer Prof. R. H. Reussner
Lizenz CC BY-SA 4.0: Creative Commons Namensnennung – Weitergabe unter gleichen Bedingungen 4.0 International
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
Schlagworte software engineering, model-driven engineering, programming languages
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page