-
3
-
-
84956983027
-
Automatic consistency checking and visualization of ocl constraints
-
A. Evans, & S. Kent.
-
Bottoni P., Koch M., Parisi-Presicce F., Taentzer G. Automatic consistency checking and visualization of ocl constraints. Evans A., Kent S. UML 2000 - The Unified Modeling Language. 2000;294-308
-
(2000)
UML 2000 - The Unified Modeling Language
, pp. 294-308
-
-
Bottoni, P.1
Koch, M.2
Parisi-Presicce, F.3
Taentzer, G.4
-
4
-
-
0039437085
-
How to represent a visual specification
-
K. Marriott, & B. Meyer. Springer
-
Engels G., Andries M., Rekers J. How to represent a visual specification. Marriott K., Meyer B. Visual Language Theory. 1998;245-260 Springer
-
(1998)
Visual Language Theory
, pp. 245-260
-
-
Engels, G.1
Andries, M.2
Rekers, J.3
-
5
-
-
0004061016
-
-
Addison Wesley
-
Fowler M., Beck K., Brant J., Opdyke W., Roberts D. "Refactoring: Improving the Design of Existing Code," 1999;Addison Wesley
-
(1999)
"refactoring: Improving the Design of Existing Code,"
-
-
Fowler, M.1
Beck, K.2
Brant, J.3
Opdyke, W.4
Roberts, D.5
-
6
-
-
84974688171
-
Towards integration of multiple perspectives by distributed graph transformation
-
M. Nagl, A. Schürr and M. Münch, editors
-
Goedicke M., B. Enders, T. Meyer and G. Taentzer, Towards integration of multiple perspectives by distributed graph transformation, in: M. Nagl, A. Schürr and M. Münch, editors, Proc. AGTIVE 1999, 2000, pp. 369-377
-
(2000)
Proc. AGTIVE 1999
, pp. 369-377
-
-
Goedicke, M.1
Enders Meyer, T.B.2
Taentzer, G.3
-
7
-
-
0032685390
-
Viewpoint-oriented software development by distributed graph transformation: Towards a basis for living with inconsistencies
-
Goedicke M., T. Meyer and G. Taentzer, Viewpoint-oriented software development by distributed graph transformation: Towards a basis for living with inconsistencies, in: Proc. 4th IEEE International Symposium on Requirements Engineering, 1999, pp. 92-99
-
(1999)
Proc. 4th IEEE International Symposium on Requirements Engineering
, pp. 92-99
-
-
Goedicke, M.1
Meyer, T.2
Taentzer, G.3
-
8
-
-
35048813570
-
Describing policies with graph constraints and rules
-
to appear
-
Koch M. and F. Parisi-Presicce, Describing policies with graph constraints and rules, in: Proc. ICGT02, to appear, 2002
-
(2002)
Proc. ICGT02
-
-
Koch, M.1
Parisi-Presicce, F.2
-
10
-
-
84974695567
-
Conditional graph rewriting as a domain-independent formalism for software evolution
-
M. Nagl, A. Schuerr, & M. Muench.
-
Mens T. Conditional graph rewriting as a domain-independent formalism for software evolution. Nagl M., Schuerr A., Muench M. Applications of Graph Transformation with Industrial Relevance. 1999;127-143
-
(1999)
Applications of Graph Transformation with Industrial Relevance
, pp. 127-143
-
-
Mens, T.1
-
11
-
-
9744271405
-
Formalising behaviour preserving program transformations
-
to appear
-
Mens T., S. Demeyer and D. Janssens, Formalising behaviour preserving program transformations, in: Proc. ICGT 2002 (2002), to appear
-
(2002)
Proc. ICGT 2002
-
-
Mens, T.1
Demeyer, S.2
Janssens, D.3
-
13
-
-
0004248084
-
-
OMG, UML specification version 1.4, http://www.omg.org/technology/ documents/formal/uml.htm (2001)
-
(2001)
UML Specification Version 1.4
-
-
-
16
-
-
84948945774
-
Refactoring UML models
-
M. Gogolla and C. Kobryn, editors
-
Sunyé, G., I. Pollet, Y. L. Traon, and J.-M. Jézé quel, Refactoring UML models, in: M. Gogolla and C. Kobryn, editors, UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools. 4th International Conference (2001), pp. 134-148
-
(2001)
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools. 4th International Conference
, pp. 134-148
-
-
Sunyé, G.1
Pollet, I.2
Traon, Y.L.3
Jézéquel, J.-M.4
-
17
-
-
10444284641
-
Visual Design of Distributed Systems by Graph Transformation
-
H. Ehrig, H.-J. Kreowski, U. Montanari, & G. Rozenberg.
-
Taentzer G., Fischer I., Koch M., Volle V. Visual Design of Distributed Systems by Graph Transformation. Ehrig H., Kreowski H.-J., Montanari U., Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism, and Distribution. 1999;269-340
-
(1999)
Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism, and Distribution
, pp. 269-340
-
-
Taentzer, G.1
Fischer, I.2
Koch, M.3
Volle, V.4
|