TY  - THES
A3  - Engels, Gregor
A3  - Wehrheim, Heike
AB  - Modelltransformationen spielen eine Schlüsselrolle in automatisierten Software-Entwicklungsprozessen. Der moderne Trend geht in Richtung Spezifikation der Softwaremit einem abstrakten Modell und dessen schrittweiser Verwandlung zum Programmiercode.Es ist sehr wichtig, dass der Programmiercode der ursprünglichenSpezifikation entspricht. Deswegen ist eine wichtige Frage einer solchen Modelltransformation,ob das transformierte Modell die Verhaltenseigenschaften des Ausgangsmodellserfüllt. In dieser Doktorarbeit wird eine neue Methode für die Spezifikation von einerModelltransformation entwickelt und es wird gezeigt, dass die zu Grunde gelegte Modelltransformation korrekt ist.
AU  - Semenyak, Maria
DA  - 2011
DP  - Universität Paderborn
LA  - eng
N1  - Tag der Verteidigung: 14.12.2011
N1  - Paderborn, Univ., Diss., 2011
PB  - Veröffentlichungen der Universität
PY  - 2011
T2  - Institut für Informatik
TI  - Full semantics preservation in model transformation
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-9071
Y2  - 2025-01-22T04:38:14
ER  -