122 search results - page 1 / 25 » A Graph Rewriting Approach for Transformational Design of Di... |
EUROMICRO
1996
IEEE
13 years 8 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
AGTIVE
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
RTA
2009
Springer
13 years 11 months ago
2009
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, τ, σ) such that L and R are termgraphs represen...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, , ) such that L and R are termgraphs representing...
AIEDAM
2002
13 years 4 months ago
2002