Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
graph transformations systems
Examples with "graph transformations systems" and their translation in Duits
The main parts, however, can be found in the material accompanying the lecture on graph transformations systems
Die wesentlichen Teile sind jedoch in dem Begleitmaterial zur Vorlesung über Graphtransformationssysteme zu finden
Andere resultaten
To this end, a framework for attributed graph transformation systems is proposed.
Dazu wird ein Rahmenwerk zur Transformation attributierter Graphen beschrieben.
The natural formalization of structurally dynamic systems is the mathematical notion of graph transformation systems.
Die naheliegendste Formalisierung von strukturell dynamischen Systemen ist das mathematische Konzept der Graphtransformationssysteme.
However, graph transformation systems have only rarely been employed as system models for planning techniques.
Bisher wurden Graphtransformationssysteme jedoch nur selten als Modelle für Planungsverfahren eingesetzt.
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.
Zudem haben die Studenten Kenntnis über einige fortgeschrittene Themen wie den szenariobasierten Entwurf von Interaktionen oder die Modellierung und Analyse von Graphtransformationssystemen.
To address that, this report discusses k-inductive invariant checking for graph transformation systems as a generalization of inductive invariants.
Dieser Bericht betrachtet k-induktive Invarianten - eine Verallgemeinerung induktiver Invarienten - für Graphtransformationssysteme als einen möglichen Ansatz, um diese Probleme anzugehen.
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.
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.
In this report we improve an existing approach for the automated verification of inductive invariants for graph transformation systems.
Dieser Bericht betrachtet k-induktive Invarianten - eine Verallgemeinerung induktiver Invarienten - für Graphtransformationssysteme als einen möglichen Ansatz, um diese Probleme anzugehen.
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.
Innerhalb der letzten Jahre hat sich der algebraische Ansatz zur Formalisierung von Graphtransformationssystemen zu einem umfassenden Rahmenwerk zur Modellierung, Analyse und Verifikation entwickelt.
The first approach preserves the expressiveness of graph transformation systems by directly working on a graph transformation system's state space.
Das erste Verfahren erhält die Ausdruckskraft von Graphtransformationssystemen, indem es direkt auf dem Zustandsraum eines Graphtransformationssystems arbeitet.
Advanced topics: scenario-based design and analysis, modeling and analysis of graph-transformation systems, design and analysis of real-time systems.
Fortgeschrittene Themen: Szenariobasierter Entwurf und Analyse, Modellierung und Analyse von Graphtransformationssystemen, Entwurf und Analyse von
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.
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.
Preparing the textbook on the categorical approach to graph transformation systems, we concentrated on unifying the effective construction of derivations steps; especially, we have investigated the case of ambiguous pushout complements.
Im Zusammenhang mit den Arbeiten an einem neuen Lehrbuch über den kategoriellen Ansatz wurde im Jahr 2003 vornehmlich an einer Vereinheitlichung der effektiven Konstruktion der Ableitungsschritte gearbeitet und insbesondere die Situation bei nichteindeutigen Pushout-Komplementen untersucht.
Synoniemen voor graph transformations systems in het Engels
Resultaten: 159. Exact: 1. Verstreken tijd: 358 ms.
