Sciweavers

3 search results - page 1 / 1
» Pragmatic Graph Rewriting Modifications
Sort
View
VL
1999
IEEE
104views Visual Languages» more  VL 1999»
13 years 8 months ago
Pragmatic Graph Rewriting Modifications
We present new pragmatic constructs for easing programming in visual graph rewriting programming languages. The first is a modification to the rewriting process for nodes the host...
Peter J. Rodgers, Natalia Vidal
ICSE
2001
IEEE-ACM
13 years 9 months ago
Using Transformation Systems for Software Maintenance and Reengineering
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
Ira D. Baxter
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 6 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...