Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of model transformations
Vertaling van "of model transformations" in Duits
von Modelltransformationen
Implementation of model transformations in the context of model driven software engineering and system integration
Implementation von Modelltransformationen im Bereich der modellgetriebenen Softwareentwicklung und Systemintegration
Classification of model transformations[edit]
Arten von Modelltransformationen[Bearbeiten | Quelltext bearbeiten]
We further use graph transformation to specify the model semantics such that we can work with a single formal model for the verification of model transformations.
Wir nutzen Graphtransformationen weiter zur Spefizikation der Semantik von Modellen, um bei der Verifikation von Modelltransformationen mit einem einzigen formalen Modell arbeiten zu können.
This diploma thesis pickes up the described problems in the analysis of model transformations and tries on the basis of transformation nets to go into detail of the verification.
Diese Arbeit greift daher die beschriebenen Probleme in der Analyse von Modelltransformationen auf und versucht anhand von Transformationsnetzen auf die Analyse einzugehen.
Model transformations play a vital role in this context whereas several model transformation languages and types of model transformations are available.
Dabei stellen Modelltransformationen einen entscheidenden Bestandteil dar, wobei verschiedene Transformationssprachen und Arten von Modelltransformationen zur Verfügung stehen.
Model transformations are defined based on such descriptions for the source and target languages.We focus on the development, quality assurance, and re-use of model transformations in MDSD.
Die Transformationen basieren auf solchen Beschreibungen für die Quell- und Zielsprachen.In dieser Dissertation liegt der Fokus auf der Entwicklung, Qualitaetssicherung und Wiederverwendung von Modelltransformationen im MDSD-Kontext.
For the realization, a compiled solution offers two kinds of model transformations.
Dazu wird eine kompilierte Lösung verwendet, die zwei verschiedene Modell-Transformationen anbietet.
The analysis of engineering processes and customer applications of production machines revealed that the industrial application of model transformations requires the execution of the same model transformation specification on different execution environments depending on the initiator of the model reconciliation.
Die Analyse der Entwicklungsprozesse und Kundenanwendungen von Produktionsmaschinen zeigt aber, dass die industrielle Modellabgleichs auf verschiedenen Ausführungsumgebungen durchgeführt werden muss.
The focus of CorMorant is the verification of model transformations with respect to behavior preservation, i.e. developing and evaluating techniques to establish formal proof of behavioral equivalence of input and output (source and target) models of model transformations.
Das DFG-Projekt KorMoran widmet sich daher dem Problem der Verifikation von Modelltransformationen, konkret dem formalen Beweis der Verhaltensäquivalenz von Quell- und Zielmodell.
Synoniemen voor of model transformations in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 9. Exact: 9. Verstreken tijd: 56 ms.
