138
click to vote
AGTIVE
15 years 6 months ago
2003 Springer 
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
105
click to vote
AGTIVE
15 years 6 months ago
2003 Springer 
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
103
click to vote
AGTIVE
15 years 6 months ago
2003 Springer
OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applicati...
112
click to vote
AGTIVE
15 years 6 months ago
2003 Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
101
click to vote
AGTIVE
15 years 6 months ago
2003 Springer 
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...
|
Formal Methods