Sciweavers

3400 search results - page 9 / 680
» tools 2008
Sort
View
ECEASST
2008
76views more  ECEASST 2008»
13 years 7 months ago
Implementing Petri Net Transformations using Graph Transformation Tools
Enrico Biermann, Claudia Ermel, Tony Modica, Peggy...
ENTCS
2008
61views more  ENTCS 2008»
13 years 7 months ago
Maude Object-Oriented Action Tool
André Murbach Maidl, Cláudio Carvilh...
ENTCS
2008
95views more  ENTCS 2008»
13 years 7 months ago
Generic Tools via General Refinement
Steve Reeves, David Streader
ENTCS
2008
77views more  ENTCS 2008»
13 years 7 months ago
A Comparative Study of Industrial Static Analysis Tools
Pär Emanuelsson, Ulf Nilsson