Using Graph Transformation Systems to Specify and Verify Data Abstractions

13 years 11 months ago

Download opus.kobv.de

fy and Verify Data Abstractions Luciano Baresi, Carlo Ghezzi, Andrea Mocci and Mattia Monga 14 pages Guest Editors: Claudia Ermel, Reiko Heckel, Juan de Lara Managing Editors: Tiziana Margaria, Julia Padberg, Gabriele Taentzer ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122

Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia

Real-time Traffic

Abstractions Luciano Baresi | ECEASST 2008 | Lara Managing Editors | Monga 14 Pages |

claim paper

» Strengthening UML Collaboration Diagrams by State Transformations

» Verifying Properties of Timed Event Driven Process Chains by Transformation to Hybrid Auto...

» Formal verification of ASMs using MDGs

» Transformation of Type Graphs with Inheritance for Ensuring Security in EGovernment Networ...

» Stochastic Analysis of Graph Transformation Systems A Case Study in P2P Networks

» Efficient Detection of Conflicts in Graphbased Model Transformation

» Data abstraction and information hiding

» ObjectOriented Refinement and Proof using Behaviour Functions

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ECEASST
Authors	Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga

Comments (0)

Sciweavers

Using Graph Transformation Systems to Specify and Verify Data Abstractions

Abstractions Luciano Baresi | ECEASST 2008 | Lara Managing Editors | Monga 14 Pages |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers