-
1
-
-
0033116147
-
Graph Transformation for Specification and Programming
-
April
-
M. Andries, G. Engels, A. Habel, B. Hoffmann, H. Kreowski, S. Kuske, D. Plump, A. Schurr, G. Taentzer: Graph Transformation for Specification and Programming. Science of Computer Programming, 34(1):1-54, April 1999.
-
(1999)
Science of Computer Programming
, vol.34
, Issue.1
, pp. 1-54
-
-
Andries, M.1
Engels, G.2
Habel, A.3
Hoffmann, B.4
Kreowski, H.5
Kuske, S.6
Plump, D.7
Schurr, A.8
Taentzer, G.9
-
2
-
-
84950000076
-
Concepts, Implementation, and Applications of a Typed Logic Programming Language
-
Beierle, PKimer (eds.), Elsevier Science B.V
-
C. Beierle: Concepts, Implementation, and Applications of a Typed Logic Programming Language. In Beierle, PKimer (eds.): Logic Programming: Formal Methods and Practical Applications. Elsevier Science B.V., 1995.
-
(1995)
Logic Programming: Formal Methods and Practical Applications
-
-
Beierle, C.1
-
3
-
-
84949934500
-
A Framework for Adding Packages to Graph Transformation Approaches
-
In G. Engels, G. Rozenberg (eds.)
-
G. Busatto, G. Engels, K. Mehner, A. Wagner: A Framework for Adding Packages to Graph Transformation Approaches. In G. Engels, G. Rozenberg (eds.): Proc. TAGT’98. This volume.
-
Proc. TAGT’98. This Volume
-
-
Busatto, G.1
Engels, G.2
Mehner, K.3
Wagner, A.4
-
4
-
-
84949962085
-
-
(eds.), Springer
-
J. Cuny, H. Ehrig, G. Engels, G. Rozenberg (eds.): Proc. 5th Int. Workshop on Graph Grammars and Their Application to Computer Science. LNCS 1073, Springer, 1996.
-
(1996)
Proc. 5Th Int. Workshop on Graph Grammars and Their Application to Computer Science. LNCS 1073
-
-
Cuny, J.1
Ehrig, H.2
Engels, G.3
Rozenberg, G.4
-
5
-
-
0016963069
-
Programming-in-the-large versus Programming-in- the-small
-
F. DeRemer, H. Kron: Programming-in-the-large versus Programming-in- the-small. IEEE Trans. on Software Engineering, SE-2(2):80-86, 1976.
-
(1976)
IEEE Trans. On Software Engineering
, vol.SE-2
, Issue.2
, pp. 80-86
-
-
Deremer, F.1
Kron, H.2
-
6
-
-
84949935278
-
ECMA Standard 149: Portable Common Tool Environment (PCTE)
-
European Computer Manufacturers Association: ECMA Standard 149: Portable Common Tool Environment (PCTE). Abstract Specification, 1990.
-
(1990)
Abstract Specification
-
-
-
8
-
-
84949939970
-
Classification and Comparison of Modularity Concepts for Graph Tranformation Systems
-
In G. Engels, G. Rozenberg (eds.)
-
H. Ehrig, G. Engels, R. Heckel, G. Taentzer: Classification and Comparison of Modularity Concepts for Graph Tranformation Systems. In G. Engels, G. Rozenberg (eds.): Proc. TAGT’98. This volume.
-
Proc. TAGT’98. This Volume
-
-
Ehrig, H.1
Engels, G.2
Heckel, R.3
Taentzer, G.4
-
9
-
-
84949455089
-
Ehrig: A View-Oriented Approach to System Modelling Using Graph Transformations
-
M. Jazayeri, H. Schauer (eds.), Springer
-
Engels, R. Heckel, G. Taentzer, H. Ehrig: A View-Oriented Approach to System Modelling Using Graph Transformations. In M. Jazayeri, H. Schauer (eds.): Proc. ESEC’97. LNCS 1301, 327-343, Springer, 1997.
-
(1997)
Proc. ESEC’97. LNCS
, vol.1301
, pp. 327-343
-
-
Engels, R.1
Heckel, G.2
Taentzer, H.3
-
12
-
-
0001264698
-
Horizontal and Vertical Structuring in Typed Graph Transformation Systems
-
December
-
R. Heckel, A. Corradini, H. Ehrig, M. Lowe: Horizontal and Vertical Structuring in Typed Graph Transformation Systems. Mathematic Structures in Computer Science, 6(6):613-648, December 1996.
-
(1996)
Mathematic Structures in Computer Science
, vol.6
, Issue.6
, pp. 613-648
-
-
Heckel, R.1
Corradini, A.2
Ehrig, H.3
Lowe, M.4
-
14
-
-
84949968830
-
Integrity Constraints in the MultiParadigm Language PROGRES
-
In G. Engels, G. Rozenberg (eds.)
-
M. Muunch, A.J. Winter, A. Schuurr: Integrity Constraints in the MultiParadigm Language PROGRES. In G. Engels, G. Rozenberg (eds.): Proc. TAGT’98. This volume.
-
Proc. TAGT’98. This Volume
-
-
Muunch, M.1
Winter, A.J.2
Schuurr, A.3
-
16
-
-
33750080781
-
Building Tightly Integrated Software Development Environments: The IPSEN Approach
-
(ed.), Springer
-
M. Nagl (ed.): Building Tightly Integrated Software Development Environments: The IPSEN Approach. LNCS 1170, Springer, 1996.
-
(1996)
LNCS 1170
-
-
Nagl, M.1
-
18
-
-
0015346655
-
A Technique for Software Module Specifications with Examples
-
ACM Press
-
D. Parnas: A Technique for Software Module Specifications with Examples. In Comm. of the ACM, vol. 15, 330-336. ACM Press, 1972.
-
(1972)
Comm. Of the ACM
, vol.15
, pp. 330-336
-
-
Parnas, D.1
-
19
-
-
84947800485
-
-
RATIONAL SOFTWARE CORPORATION: UML Semantics. http://www.rational.com/uml.
-
UML Semantics
-
-
-
23
-
-
84957541444
-
Winter: Formal Definition and Refinement of UML’s Package Concept
-
J. Bosch, S. Mitchell (eds.), Springer
-
Schurr, A.J. Winter: Formal Definition and Refinement of UML’s Package Concept. In J. Bosch, S. Mitchell (eds.): Object-Oriented Technology — ECOOP’97 Workshop Reader. LNCS 1357, 211-215, Springer, 1997.
-
(1997)
Object-Oriented Technology — ECOOP’97 Workshop Reader. LNCS 1357
, pp. 211-215
-
-
Schurr, A.J.1
-
24
-
-
84955590678
-
Zundorf: Graph Grammar Engineering with PROGRES
-
W. Schafer, P. Botella (eds.), Springer
-
Schurr, A.J. Winter, A. Zundorf: Graph Grammar Engineering with PROGRES. In W. Schafer, P. Botella (eds.): Proc. ESEC’95. LNCS 989, 219-234, Springer, 1995.
-
(1995)
Proc. ESEC’95. LNCS 989
, pp. 219-234
-
-
Schurr, A.J.1
Winter, A.2
-
26
-
-
0003368821
-
DIEGO, another step towards a module concept for graph transformation systems
-
A. Corradini, U. Montanari (eds.), ENTSC. Elsevier Science B.V
-
G. Taentzer, A. Schuurr: DIEGO, another step towards a module concept for graph transformation systems. In A. Corradini, U. Montanari (eds.): Proc. SEGRAGRA‘95. Vol. 2 of ENTSC. Elsevier Science B.V., 1995.
-
(1995)
Proc. SEGRAGRA‘95
, vol.2
-
-
Taentzer, G.1
Schuurr, A.2
-
27
-
-
0003501982
-
Active Database Systems: Triggers and Rules for Advanced Database Processing
-
(eds.)
-
J. Widom, S. Ceri (eds.): Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, 1996.
-
(1996)
Morgan Kaufmann
-
-
Widom, J.1
Ceri, S.2
-
29
-
-
84949943139
-
Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems
-
A.J. Winter, A. Schurr: Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. TR 97-3, RWTH Aachen, 1997.
-
(1997)
TR 97-3, RWTH Aachen
-
-
Winter, A.J.1
Schurr, A.2
|