Sciweavers

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...