Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey

↑ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 62 days • 1 price levels

Days at Price

Price Analysis

Most common price: £81 (62 days, 100.0%)

Price range: £81 - £81

Price levels: 1 different prices over 62 days

Description

Many systems exhibit rule-based behavior that can be modeled very well by means of graph transformation. In this thesis, a new graph transformation theory is introduced for rules describing not only positive pre- and post-conditions, but also so-called negative application conditions. Present analysis techniques are extended for this more expressive kind of graph transformation. Moreover, new kinds of analysis techniques are introduced and present techniques are improved. The main part of the newly developed theory is formulated in the more abstract adhesive high-level-transformation framework. Consequently, the analysis techniques can be applied not only to graphs, but also to other complex structures such as Petri nets and attributed graphs. Finally, a general road map is presented leading to the certification of a selection of properties in rule-based models. The certification, based on graph transformation analysis techniques, is illustrated by a case study of an elevator control system. Moreover, the current tool support for certification of rule-based models using graph transformation provided by AGG is outlined.

Product Specifications

Brand: Südwestdeutscher Verlag für Hochschulschriften
Format: paperback
ASIN: 383811650X
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 08 June 2010
Listed Since: 12 June 2010

Barcode

No barcode data available

It has never been this cheap. We have no record of a lower price.

Südwestdeutscher Verlag für Hochschulschriften Certifying Rule-Based Models using Graph Transformation: Extended, Improved and New Graph Transformation Analysis Techniques: Clearing the Way for a General Road Map to Certification

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Online Validation of Visual Model Transformations: Validating graph rewriting-based visual model transformations

Applied Graph Data Science - Algorithms, Knowledge Graphs & Neural Networks

Recent Advancements in Graph Theory (Mathematical Engineering, Manufacturing, and Management Sciences)

Games on Graphs: Logic, Automata & Algorithms Book

Topics in Graph Theory (Discrete Mathematics and Its Applications)

Graph and Model Transformation: General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series)

Graph and Model Transformation: General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series)

Network Resilience Through Graph Theory: A Comprehensive Study of Closely-connected Vertices and Fault-Tolerant Systems

A Tour through Graph Theory (Textbooks in Mathematics)

Global Business Transformation: Innovation, Technology, and Sustainability

Groups and Model Theory: GAGTA BOOK 2 (De Gruyter Series in Logic & its Applications, 10)

Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers: 1764 (Lecture Notes in Computer Science, 1764)

transformIT: Optimale Geschäftsprozesse durch eine transformierende IT

Transformation-based Support For Visual Languages: Defining Visual Languages, Optimizing Constraint Handling and Creating Truly Parallel Model Transformations

Graph Learning Techniques

Demystifying Graph Data Science - IET Computing Book

Graph Games and Logic Design: Recent Developments and Further Directions: 66 (Trends in Logic, 66)

New Frontiers in Graph Theory

Springer Graph Transformation for Software Engineers Book

Graph Learning and Network Science for Natural Language Processing (Computational Intelligence Techniques)

Graph Theory - Advanced Book Program - CRC Press

Methods of Graph Decompositions

Graph Theory - Advanced Algorithms and Applications

Multisource Heterogeneous Graph Big Data Representation Learning: For Public Security

It has never been this cheap. We have no record of a lower price.

Südwestdeutscher Verlag für Hochschulschriften Certifying Rule-Based Models using Graph Transformation: Extended, Improved and New Graph Transformation Analysis Techniques: Clearing the Way for a General Road Map to Certification

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Online Validation of Visual Model Transformations: Validating graph rewriting-based visual model transformations

Applied Graph Data Science - Algorithms, Knowledge Graphs & Neural Networks

Recent Advancements in Graph Theory (Mathematical Engineering, Manufacturing, and Management Sciences)

Games on Graphs: Logic, Automata & Algorithms Book

Topics in Graph Theory (Discrete Mathematics and Its Applications)

Graph and Model Transformation: General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series)

Graph and Model Transformation: General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series)

Network Resilience Through Graph Theory: A Comprehensive Study of Closely-connected Vertices and Fault-Tolerant Systems

A Tour through Graph Theory (Textbooks in Mathematics)

Global Business Transformation: Innovation, Technology, and Sustainability

Groups and Model Theory: GAGTA BOOK 2 (De Gruyter Series in Logic & its Applications, 10)

Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers: 1764 (Lecture Notes in Computer Science, 1764)

transformIT: Optimale Geschäftsprozesse durch eine transformierende IT

Transformation-based Support For Visual Languages: Defining Visual Languages, Optimizing Constraint Handling and Creating Truly Parallel Model Transformations

Graph Learning Techniques

Demystifying Graph Data Science - IET Computing Book

Graph Games and Logic Design: Recent Developments and Further Directions: 66 (Trends in Logic, 66)

New Frontiers in Graph Theory

Springer Graph Transformation for Software Engineers Book

Graph Learning and Network Science for Natural Language Processing (Computational Intelligence Techniques)

Graph Theory - Advanced Book Program - CRC Press

Methods of Graph Decompositions

Graph Theory - Advanced Algorithms and Applications

Multisource Heterogeneous Graph Big Data Representation Learning: For Public Security