Sciweavers

7 search results - page 1 / 2
» tagt 1998
Sort
View
TAGT
1998
Springer
317views Graph Theory» more  TAGT 1998»
13 years 8 months ago
A Fully Abstract Model for Graph-Interpreted Temporal Logic
Fabio Gadducci, Reiko Heckel, Manuel Koch
TAGT
1998
Springer
289views Graph Theory» more  TAGT 1998»
13 years 8 months ago
Simple Modules for GRACE
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sa...
TAGT
1998
Springer
250views Graph Theory» more  TAGT 1998»
13 years 8 months ago
Double-Pushout Approach with Injective Matching
Abstract. We investigate and compare four variants of the doublepushout approach to graph transformation. Besides the traditional approach with arbitrary matching and injective rig...
Annegret Habel, Jürgen Müller, Detlef Pl...
TAGT
1998
Springer
162views Graph Theory» more  TAGT 1998»
13 years 8 months ago
Hypergraphs as a Uniform Diagram Representation Model
When working with diagrams in visual environments like graphical diagram editors, diagrams have to be represented by an internal model. Graphs and hypergraphs are well-known concep...
Mark Minas
TAGT
1998
Springer
156views Graph Theory» more  TAGT 1998»
13 years 8 months ago
Graph-Based Models for Managing Development Processes, Resources, and Products
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
Carl-Arndt Krapp, Sven Krüppel, Ansgar Schlei...