-
4
-
-
0001006870
-
-
Rozenberg [21], chapter 3
-
A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic approaches to graph transformation, part I: Basic concepts and double pushout approach. In Rozenberg [21], chapter 3, pp. 163-246
-
Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach
, pp. 163-246
-
-
Corradini, A.1
Montanari, U.2
Rossi, F.3
Ehrig, H.4
Heckel, R.5
Löwe, M.6
-
5
-
-
84937217390
-
3: A tool for multi-formalism and meta-modelling
-
Fundamental Approaches to Software Engineering (FASE) Kutsche Weber Springer
-
3: A tool for multi-formalism and meta-modelling Kutsche Weber Fundamental Approaches to Software Engineering (FASE) LNCS vol. 2306 2002 Springer 174 188
-
(2002)
LNCS
, vol.2306
, pp. 174-188
-
-
De Lara, J.1
Vangheluwe, H.2
-
6
-
-
14944349707
-
Second International Conference on Graph Transformation
-
Springer
-
Ehrig Engels Parisi-Presicce Rozenberg Second International Conference on Graph Transformation LNCS vol. 3256 2004 Springer
-
(2004)
LNCS
, vol.3256
-
-
Ehrig1
Engels2
Parisi-Presicce3
Rozenberg4
-
7
-
-
85034646939
-
Introduction to the algebraic theory of graph grammars (a survey)
-
Graph Grammars and their Application to Computer Science and Biology. Springer
-
H. Ehrig Introduction to the algebraic theory of graph grammars (a survey) Graph Grammars and their Application to Computer Science and Biology LNCS vol. 73 1979 Springer
-
(1979)
LNCS
, vol.73
-
-
Ehrig, H.1
-
9
-
-
8644234741
-
-
Rozenberg [21]
-
H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, and A. Corradini. Algebraic approaches to graph transformation, part II: Single pushout approach and comparison with double pushout approach. In Rozenberg [21], pp. 247-312
-
Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach
, pp. 247-312
-
-
Ehrig, H.1
Heckel, R.2
Korff, M.3
Löwe, M.4
Ribeiro, L.5
Wagner, A.6
Corradini, A.7
-
11
-
-
84957107637
-
Compositional verification of reactive systems specified by graph transformation
-
Fundamental Approaches to Software Engineering (FASE), Astesiano Springer
-
R. Heckel Compositional verification of reactive systems specified by graph transformation Astesiano Fundamental Approaches to Software Engineering (FASE) LNCS vol. 1382 1998 Springer 138 153
-
(1998)
LNCS
, vol.1382
, pp. 138-153
-
-
Heckel, R.1
-
13
-
-
14944340146
-
-
Master's thesis, Department of Computer Science, University of Twente, July
-
H. Kastenberg. Software metrics as class graph properties. Master's thesis, Department of Computer Science, University of Twente, July 2004
-
(2004)
Software Metrics As Class Graph Properties
-
-
Kastenberg, H.1
-
14
-
-
0029271565
-
GRAS: A graph-oriended (software) engineering database system
-
N. Kiesel, A. Schürr, and B. Westfechtel GRAS: A graph-oriended (software) engineering database system Information Systems 20 1 1995 1 32
-
(1995)
Information Systems
, vol.20
, Issue.1
, pp. 1-32
-
-
Kiesel, N.1
Schürr, A.2
Westfechtel, B.3
-
18
-
-
10444247744
-
Towards model checking graph grammars
-
M. Leuschel, S. Gruner, and S.L. Presti, eds. Technical Report DSSE-TR-2003-2 University of Southampton
-
A. Rensink. Towards model checking graph grammars. In M. Leuschel, S. Gruner, and S.L. Presti, eds., Workshop on Automated Verification of Critical Systems (AVoCS), Technical Report DSSE-TR-2003-2, pp. 150-160. University of Southampton, 2003
-
(2003)
Workshop on Automated Verification of Critical Systems (AVoCS)
, pp. 150-160
-
-
Rensink, A.1
-
19
-
-
35048862521
-
The GROOVE simulator: A tool for state space generation
-
J. Pfalz M. Nagl B. Böhlen Applications of Graph Transformations with Industrial Relevance (AGTIVE). Springer-Verlag
-
A. Rensink The GROOVE simulator: A tool for state space generation J. Pfalz M. Nagl B. Böhlen Applications of Graph Transformations with Industrial Relevance (AGTIVE) LNCS vol. 3062 2004 Springer-Verlag 479 485
-
(2004)
LNCS
, vol.3062
, pp. 479-485
-
-
Rensink, A.1
-
23
-
-
14244251224
-
Automated formal verification of visual modeling languages by model checking
-
D. Varró Automated formal verification of visual modeling languages by model checking Journal of Software and Systems Modelling 3 2 2004 85 113
-
(2004)
Journal of Software and Systems Modelling
, vol.3
, Issue.2
, pp. 85-113
-
-
Varró, D.1
|