Examples with "Graphtransformationssystems" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Das erste Verfahren erhält die Ausdruckskraft von Graphtransformationssystemen, indem es direkt auf dem Zustandsraum eines Graphtransformationssystems arbeitet.
Zudem haben die Studenten Kenntnis über einige fortgeschrittene Themen wie den szenariobasierten Entwurf von Interaktionen oder die Modellierung und Analyse von Graphtransformationssystemen.
Furthermore, the students will gain insights in advanced topics like the scenario-based design of interactions and the modeling and analysis of graph-transformation systems.
Da moderne Programmiersprachen generische Konzepte unterstützen, sieht es vielversprechend aus, den kategoriellen Ansatz zur Beschreibung von Graphtransformationssystemen in Sprachen wie Java oder Haskell zu implementieren.
Since modern programming languages support generic concepts, it is a promising idea to implement the categorical approach to graph transformation in languages like Java or Haskell.
Dieser Bericht betrachtet k-induktive Invarianten - eine Verallgemeinerung induktiver Invarienten - für Graphtransformationssysteme als einen möglichen Ansatz, um diese Probleme anzugehen.
To address that, this report discusses k-inductive invariant checking for graph transformation systems as a generalization of inductive invariants.
Indem sie ein formales Framework für die regelbasierte Modifikation von Graphen und Graph-ähnlichen Strukturen zur Verfügung stellen, ermöglichen es Graphtransformationssysteme, die Dynamik von Strukturen zu modellieren.
By providing a formal framework for the rule-based modification of graphs or graph-like structures, graph transformation systems enable to model the dynamics of structures.
Dieser Bericht betrachtet k-induktive Invarianten - eine Verallgemeinerung induktiver Invarienten - für Graphtransformationssysteme als einen möglichen Ansatz, um diese Probleme anzugehen.
In this report we improve an existing approach for the automated verification of inductive invariants for graph transformation systems.
Innerhalb der letzten Jahre hat sich der algebraische Ansatz zur Formalisierung von Graphtransformationssystemen zu einem umfassenden Rahmenwerk zur Modellierung, Analyse und Verifikation entwickelt.
Within the last decade, the theory of algebraic graph transformations has been developed towards a comprehensive formal framework including several sophisticated results on modeling, analysing, and verifying graph transformation systems.
Fortgeschrittene Themen: Szenariobasierter Entwurf und Analyse, Modellierung und Analyse von Graphtransformationssystemen, Entwurf und Analyse von
Advanced topics: scenario-based design and analysis, modeling and analysis of graph-transformation systems, design and analysis of real-time systems.
Während Graphtransformationssysteme einerseits einen ausdrucksstarken Formalismus bereitstellen, existieren andererseits nur eingeschränkte Möglichkeiten für die automatische Analyse. Dies gilt insbesondere für die Analyse von Systemen mit einer Vielzahl an initialen Graphen oder mit großen oder unendlichen Zustandsräumen.
Dyck, Johannes; Giese, Holger While offering significant expressive power, graph transformation systems often come with rather limited capabilities for automated analysis, particularly if systems with many possible initial graphs and large or infinite state spaces are concerned.
Aus der Sicht der Graphtransformationssysteme lautet die Frage: Können wir, wenn eine Ableitungssequenz gegeben ist, eine Produktion konstruieren, die die Wirkung der gesamten Ableitungssequenz in einem Ableitungsschritt simuliert?
From the graph transformation point of view, the question is: If we have a derivation sequence, can we construct a production simulating the effect of the whole derivation sequence by one derivation step?
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor Graphtransformationssystems in het Duits
