179
click to vote
AGTIVE
15 years 1 months ago
2007 Springer 
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
110
click to vote
AGTIVE
15 years 6 months ago
2007 Springer 
The usability of model transformation languages depends on the abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel...
103
click to vote
AGTIVE
15 years 6 months ago
2007 Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
AGTIVE
15 years 6 months ago
2007 Springer  111
click to vote
AGTIVE
15 years 4 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 ...
|
Formal Methods