-
1
-
-
0242370962
-
Difference and Union of Models
-
Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. Springer, Heidelberg
-
Alanen, M., Porres, I.: Difference and Union of Models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2-17. Springer, Heidelberg (2003)
-
(2003)
LNCS
, vol.2863
, pp. 2-17
-
-
Alanen, M.1
Porres, I.2
-
2
-
-
56649101995
-
Precise Semantics of EMF Model Transformations by Graph Transformation
-
Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. Springer, Heidelberg
-
Biermann, E., Ermel, C., Taentzer, G.: Precise Semantics of EMF Model Transformations by Graph Transformation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 53-67. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5301
, pp. 53-67
-
-
Biermann, E.1
Ermel, C.2
Taentzer, G.3
-
3
-
-
56649103524
-
Managing Model Conflicts in Distributed Development
-
Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. Springer, Heidelberg
-
Cicchetti, A., Di Ruscio, D., Pierantonio, A.: Managing Model Conflicts in Distributed Development. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 311-325. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5301
, pp. 311-325
-
-
Cicchetti, A.1
Di Ruscio, D.2
Pierantonio, A.3
-
4
-
-
0001006870
-
Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach
-
Rozenberg, G. (ed.) World Scientific, Singapore
-
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1, pp. 163-245. World Scientific, Singapore (1997)
-
(1997)
Handbook of Graph Grammars and Computing by Graph Transformation. Foundations
, vol.1
, pp. 163-245
-
-
Corradini, A.1
Montanari, U.2
Rossi, F.3
Ehrig, H.4
Heckel, R.5
Löwe, M.6
-
5
-
-
84982914631
-
VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models
-
Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models. In: Proceedings ASE 2002, September 2002, pp. 267-270 (2002)
-
(2002)
Proceedings ASE 2002, September 2002
, pp. 267-270
-
-
Csertán, G.1
Huszerl, G.2
Majzik, I.3
Pap, Z.4
Pataricza, A.5
Varró, D.6
-
6
-
-
34247352506
-
Attributed graph transformation with node type inheritance
-
de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3), 139-163 (2007)
-
(2007)
Theor. Comput. Sci.
, vol.376
, Issue.3
, pp. 139-163
-
-
De Lara, J.1
Bardohl, R.2
Ehrig, H.3
Ehrig, K.4
Prange, U.5
Taentzer, G.6
-
7
-
-
84868698825
-
-
Eclipse Foundation. EMF Compare, http://www.eclipse.org/modeling/emft/? project=compare
-
EMF Compare
-
-
-
8
-
-
35348968376
-
Change Distilling: Tree Differencing for Fine-Grained Source Code Change Extraction
-
Fluri, B., Würsch, M., Pinzger, M., Gall, H.: Change Distilling: Tree Differencing for Fine-Grained Source Code Change Extraction. IEEE Trans. Softw. Eng. 33, 725-743 (2007)
-
(2007)
IEEE Trans. Softw. Eng.
, vol.33
, pp. 725-743
-
-
Fluri, B.1
Würsch, M.2
Pinzger, M.3
Gall, H.4
-
9
-
-
77249089468
-
Language-Independent Change Management of Process Models
-
Schürr, A., Selic, B. (eds.) MODELS 2009. Springer, Heidelberg
-
Gerth, C., Küster, J.M., Engels, G.: Language-Independent Change Management of Process Models. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 152-166. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5795
, pp. 152-166
-
-
Gerth, C.1
Küster, J.M.2
Engels, G.3
-
10
-
-
0036036781
-
Detection of conflicting functional requirements in a use case-driven approach: A static analysis technique based on graph transformation
-
ACM Press, New York
-
Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. In: Proceedings ICSE 2002, pp. 105-115. ACM Press, New York (2002)
-
(2002)
Proceedings ICSE 2002
, pp. 105-115
-
-
Hausmann, J.H.1
Heckel, R.2
Taentzer, G.3
-
11
-
-
34547696236
-
A Generic Difference Algorithm for UML Models
-
Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) SE 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, GI
-
Kelter, U., Wehren, J., Niere, J.: A Generic Difference Algorithm for UML Models. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) SE 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, LNI, vol. 64, pp. 105-116, GI (2005)
-
(2005)
LNI
, vol.64
, pp. 105-116
-
-
Kelter, U.1
Wehren, J.2
Niere, J.3
-
12
-
-
33750362774
-
Merging Models with the Epsilon Merging Language (EML)
-
Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. Springer, Heidelberg
-
Kolovos, D.S., Paige, R., Polack, F.: Merging Models with the Epsilon Merging Language (EML). In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 215-229. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4199
, pp. 215-229
-
-
Kolovos, D.S.1
Paige, R.2
Polack, F.3
-
13
-
-
33748305751
-
Definition and validation of model transformations
-
Küster, J.M.: Definition and validation of model transformations. Software and Systems Modeling 5(3), 233-259 (2006)
-
(2006)
Software and Systems Modeling
, vol.5
, Issue.3
, pp. 233-259
-
-
Küster, J.M.1
-
14
-
-
70350680830
-
Dependent and Conflicting Change Operations of Process Models
-
Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. Springer, Heidelberg
-
Küster, J.M., Gerth, C., Engels, G.: Dependent and Conflicting Change Operations of Process Models. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 158-173. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5562
, pp. 158-173
-
-
Küster, J.M.1
Gerth, C.2
Engels, G.3
-
15
-
-
77954629075
-
Dynamic Computation of Change Operations in Version Management of Business Process Models
-
IBM Zurich Research Laboratory January
-
Küster, J.M., Gerth, C., Engels, G.: Dynamic Computation of Change Operations in Version Management of Business Process Models. IBM Research Report RZ 3763, IBM Zurich Research Laboratory (January 2010), http://www.zurich.ibm. com/~jku/Papers/rz3763.pdf
-
(2010)
IBM Research Report RZ 3763
-
-
Küster, J.M.1
Gerth, C.2
Engels, G.3
-
16
-
-
57049146832
-
Detecting and Resolving Process Model Differences in the Absence of a Change Log
-
Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. Springer, Heidelberg
-
Küster, J.M., Gerth, C., Förster, A., Engels, G.: Detecting and Resolving Process Model Differences in the Absence of a Change Log. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 244-260. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5240
, pp. 244-260
-
-
Küster, J.M.1
Gerth, C.2
Förster, A.3
Engels, G.4
-
18
-
-
0036564990
-
A State-of-the-Art Survey on Software Merging
-
Mens, T.: A State-of-the-Art Survey on Software Merging. IEEE Trans. Software Eng. 28(5), 449-462 (2002)
-
(2002)
IEEE Trans. Software Eng.
, vol.28
, Issue.5
, pp. 449-462
-
-
Mens, T.1
-
19
-
-
34548050450
-
Analysing refactoring dependencies using graph transformation
-
DOI 10.1007/s10270-006-0044-6
-
Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. Software and System Modeling 6(3), 269-285 (2007) (Pubitemid 47278595)
-
(2007)
Software and Systems Modeling
, vol.6
, Issue.3
, pp. 269-285
-
-
Mens, T.1
Taentzer, G.2
Runge, O.3
-
21
-
-
0031066425
-
Defining and Parsing Visual Languages with Layered Graph Grammars
-
Rekers, J., Schürr, A.: Defining and Parsing Visual Languages with Layered Graph Grammars. J. Vis. Lang. Comput. 8(1), 27-55 (1997)
-
(1997)
J. Vis. Lang. Comput.
, vol.8
, Issue.1
, pp. 27-55
-
-
Rekers, J.1
Schürr, A.2
-
22
-
-
33750014853
-
Disjoint and Overlapping Process Changes: Challenges, Solutions, Applications
-
Meersman, R., Tari, Z. (eds.) OTM 2004. Springer, Heidelberg
-
Rinderle, S., Reichert, M., Dadam, P.: Disjoint and Overlapping Process Changes: Challenges, Solutions, Applications. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3290, pp. 101-120. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.3290
, pp. 101-120
-
-
Rinderle, S.1
Reichert, M.2
Dadam, P.3
-
23
-
-
34247342048
-
AGG: A Graph Transformation Environment for Modeling and Validation of Software
-
Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. Springer, Heidelberg
-
Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446-453. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.3062
, pp. 446-453
-
-
Taentzer, G.1
-
24
-
-
38349014920
-
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
-
Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. Springer, Heidelberg
-
Vanhatalo, J., Völzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43-55. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4749
, pp. 43-55
-
-
Vanhatalo, J.1
Völzer, H.2
Leymann, F.3
-
25
-
-
38149061096
-
Change Patterns and Change Support Features in Process-Aware Information Systems
-
Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. Springer, Heidelberg
-
Weber, B., Rinderle, S., Reichert, M.: Change Patterns and Change Support Features in Process-Aware Information Systems. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 574-588. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4495
, pp. 574-588
-
-
Weber, B.1
Rinderle, S.2
Reichert, M.3
|