1940 search results - page 42 / 388 » Graph Transformation with Variables |
127
click to vote
FASE
1998
Springer
15 years 6 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
142
click to vote
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
143
click to vote
VL
2009
IEEE
15 years 9 months ago
2009
IEEE
Euler diagrams form the basis of several visual modelling notations, including statecharts and constraint diagrams. Recently, various techniques for automated Euler diagram drawin...
109
click to vote
FUIN
2006
15 years 2 months ago
2006
Adhesive high-level replacement (HLR) systems are introduced as a new categorical framework for graph transformation in the double pushout (DPO) approach, which combines the well-k...