54 search results - page 7 / 11 » eceasst 2008 |
ECEASST
2008
13 years 10 months ago
2008
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...
ECEASST
2008
13 years 10 months ago
2008
Abstract: Subtyping and inheritance are two major issues in the research and development of object-oriented languages, which have been traditionally studied along the lines of type...
ECEASST
2008
13 years 10 months ago
2008
: This paper deals with visual design and reasoning. A visual language with its internal representation in the form of attributed hierarchical hypergraphs is discussed. Hypergraph ...
ECEASST
2008
13 years 10 months ago
2008
pecification on the Concrete and Abstract Syntax Level of a Diagram Language Sonja Maier, Steffen Mazanek and Mark Minas 15 pages Guest Editors: Andrew Fish, Harald St
ECEASST
2008
13 years 10 months ago
2008
Abstract: A triangulated network of mobile units is modelled by means of a graph transformation system in which graph nodes are labelled with geometric coordinates and edges are la...