89 search results - page 6 / 18 » Graph design by graph grammar evolution |
SOFSEM
2007
Springer
15 years 3 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
IWDC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Despite their crucial impact on the performances of p2p systems, very few is known on peers behaviors in such networks. We propose here a study of these behaviors in a ru...
CSMR
2008
IEEE
15 years 4 months ago
2008
IEEE
Databases are continuously evolving environments, where design constructs are added, removed or updated rather often. Small changes in the database configurations might impact a l...
AGTIVE
2007
Springer
15 years 1 months ago
2007
Springer
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by ...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...