Ergebnisse für: Graphtransformationen
Hier findest Du Bücher, die sich mit Graphtransformationen beschäftigen.
Mit der fortschreitenden Entwicklung moderner technischer Systeme und neuen Einsatzbereichen von Automation, die bisher dem Menschen vorbehalten waren, steigen auch die Anforderungen an die Fähigkeiten der Automation. Die Entwicklung heutiger Systeme basiert darauf, jede mögliche Situation, die da...
Die modellgetriebene Softwareentwicklung lebt von der Grundidee, komplexe softwaretechnische Sachverhalte kompakt aber dennoch präzise zu beschreiben. Dabei erstellt der Entwickler zunächst eine abstrakte Spezifikation eines Softwaresystems, die sich an fachlichen Konzepten der jeweiligen Anwendun...
The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construc...
This book constitutes the refereed proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG '95, held in Aachen, Germany, in June 1995. The WG workshop series contributes to integration in computer science by applying graph theoretical concepts in various ar...
This book contains a collection of 37 refereed full papers selected from the contributions presented at the 5th International Workshop on Graph Grammars and Their Applications to Computer Science, held in Williamsburg, Virginia, USA, in November 1994.The book covers the whole spectrum of methods and...
This book contains a collection of 37 refereed full papers selected from the contributions presented at the 5th International Workshop on Graph Grammars and Their Applications to Computer Science, held in Williamsburg, Virginia, USA, in November 1994.The book covers the whole spectrum of methods and...
The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construc...
This book constitutes the refereed proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science, WG '95, held in Aachen, Germany, in June 1995. The WG workshop series contributes to integration in computer science by applying graph theoretical concepts in various ar...
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 od...
Graphtransformationssysteme stellen ein ausdrucksstarkes formales Modell zur Verfügung, um Modelltransformationen und Systeme mit unendlichem Zustandsraum zu beschreiben. Allerdings sorgt diese Ausdrucksstärke für signifikante Einschränkungen bei der automatischen Analyse. Ansätze, die die Anal...