Sciweavers

34 search results - page 2 / 7
» Guest Editors' Foreword
Sort
View
JCSS
2000
58views more  JCSS 2000»
13 years 5 months ago
Editor's Foreword
José L. Balcázar
ECEASST
2008
79views more  ECEASST 2008»
13 years 5 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...
ASE
2008
130views more  ASE 2008»
13 years 5 months ago
Guest Editors' Introduction
Sebastián Uchitel, Steve M. Easterbrook