1153 search results - page 64 / 231 » Reversing graph transformations |
69
Voted
ECEASST
2010
14 years 10 months ago
2010
ECEASST
2010
14 years 10 months ago
2010
116
click to vote
INFORMATICALT
2000
15 years 15 days ago
2000
An original algorithm for transformation of finite automata to regular expressions is presented. This algorithm is based on effective graph algorithms and gives a transparent new p...
100
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
110
click to vote
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...