Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
model transformations
Vertaling van "model transformations" in Duits
What if the available model transformations don't fit?
Und wenn die verfügbaren Modelltransformationen nicht passen?
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]
Quality assurance of domain-specific models and model transformations
Qualitätssicherung von domänenspezifischen Modellen und Modelltransformationen
Integrated technology for developing your own model transformations.
Integrierte Technik zur Entwicklung eigener Modelltransformationen
The key here are automatic model transformations
Die Schlüssel dazu sind automatische Modelltransformationen
Link and re-use model transformations.
Verkettung und Wiederverwendung von Modelltransformationen
Generate menu functions for calling up user-own model transformations and navigating.
Generierung von Menüfunktionen zum Aufruf benutzereigener Modelltransformationen und zur Navigation.
Furthermore, model transformations are created to support different robot software frameworks and other metamodels.
Zudem wird durch Modelltransformationen eine Unterstützung von anderen Roboterframeworks und Meta-Modellen implementiert.
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.
Up to now, except for some own preliminary work, there is not a lot of work available presenting methods for the formal verification of correctness of a transformation described by model transformations based on graph transformation.
Bislang gibt es bis auf eigene Vorarbeiten keine Arbeiten, in denen Methoden für den formalen Nachweis der Korrektheit einer durch Modelltransformationen beschriebenen Transformation basierend auf Graphtransformationen vorgestellt werden.
Using input models of the service, the infrastructure and a mapping between the two to describe actors of service communication, availability models are automatically created by a series of model to model transformations.
Aus Modellen des Dienstes, der Infrastruktur und einer Abbildung zwischen den beiden, welche die Aktoren der Dienstkommunikation beschreibt, werden durch eine Serie von Modelltransformationen automatisiert Verfügbarkeitsmodelle generiert.
Synoniemen voor model transformations in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 58. Exact: 58. Verstreken tijd: 52 ms.
