Sciweavers

1550 search results - page 45 / 310
» Benchmarking for Graph Transformation
Sort
View
ECEASST
2008
79views more  ECEASST 2008»
13 years 11 months ago
Using Graph Transformation Systems to Specify and Verify Data Abstractions
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: Tizi...
Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia...