Ergebnisse für: Graphtransformationen

Hier findest Du Bücher, die sich mit Graphtransformationen beschäftigen.

Buch Cover Weiterentwicklung einer Kognitiven Systemarchitektur auf Basis von Graphtransformationen
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...
Buch Cover Ein Rahmenwerk für operationale Spezifikationssprachen
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...
Buch Cover Graph Transformations in Computer Science
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...
Buch Cover Graph-Theoretic Concepts in Computer Science
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...
Buch Cover Graph Grammars and Their Application to Computer Science
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...
Buch Cover Graph Grammars and Their Application to Computer Science
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...
Buch Cover Graph Transformations in Computer Science
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...
Buch Cover Graph-Theoretic Concepts in Computer Science
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...
Buch Cover k-Inductive Invariant Checking for Graph Transformation 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 od...
Buch Cover Inductive invariant checking with partial negative application conditions
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...

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden