-
1
-
-
70350678757
-
Using metrics for assessing the quality of ASF+SDF model transformations
-
Paige, R.F. (ed.) ICMT 2009. Springer, Heidelberg
-
Amstel, M.F., Lange, C.F., Brand, M.G.: Using metrics for assessing the quality of ASF+SDF model transformations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 239-248. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5563
, pp. 239-248
-
-
Amstel, M.F.1
Lange, C.F.2
Brand, M.G.3
-
2
-
-
56449088620
-
A benchmark evaluation of incremental pattern matching in graph transformation
-
Ehrig, H., Heckel, R., Rozenberg, G., Täntzer, G. (eds.) ICGT 2008. Springer, Heidelberg
-
Bergmann, G., Horváth, Á., Ráth, I., Varró, D.: A benchmark evaluation of incremental pattern matching in graph transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Täntzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 396-410. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5214
, pp. 396-410
-
-
Bergmann, G.1
Horváth, Á.2
Ráth, I.3
Varró, D.4
-
3
-
-
51449094371
-
Semantics and analysis of business process models in bpmn
-
Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Inf. Softw. Technol. 50(12), 1281-1294 (2008)
-
(2008)
Inf. Softw. Technol.
, vol.50
, Issue.12
, pp. 1281-1294
-
-
Dijkman, R.M.1
Dumas, M.2
Ouyang, C.3
-
5
-
-
70649083108
-
Translating safe petri nets to statecharts in a structure-preserving way
-
Cavalcanti, A., Dams, D.R. (eds.) FM 2009. Springer, Heidelberg Extended as Beta WP 282 at Eindhoven University of Technology
-
Eshuis, R.: Translating safe petri nets to statecharts in a structure-preserving way. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 239-255. Springer, Heidelberg (2009); Extended as Beta WP 282 at Eindhoven University of Technology
-
(2009)
LNCS
, vol.5850
, pp. 239-255
-
-
Eshuis, R.1
-
6
-
-
84858334951
-
-
Rensink, Täntzer (eds.) [14]
-
Geiß, R., Kroll, M.: GrGen.net: A fast, expressive, and general purpose graph rewrite tool. In: Rensink, Täntzer (eds.) [14], pp. 568-569
-
GrGen.net: A Fast, Expressive, and General Purpose Graph Rewrite Tool
, pp. 568-569
-
-
Geiß, R.1
Kroll, M.2
-
8
-
-
0030167097
-
Usability analysis of visual programming environments: A 'cognitive dimensions' framework
-
Green, T.R.G., Petre, M.: Usability analysis of visual programming environments: A 'cognitive dimensions' framework. Journal of Visual Languages and Computing 7(2), 131-174 (1996)
-
(1996)
Journal of Visual Languages and Computing
, vol.7
, Issue.2
, pp. 131-174
-
-
Green, T.R.G.1
Petre, M.2
-
9
-
-
0030172972
-
Graph grammars with negative application conditions
-
Habel, A., Heckel, R., Täntzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3-4), 287-313 (1996) (Pubitemid 126715013)
-
(1996)
Fundamenta Informaticae
, vol.26
, Issue.3-4
, pp. 287-313
-
-
Habel, A.1
Heckel, R.2
Taentzer, G.3
-
10
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8(3), 231-274 (1987)
-
(1987)
Sci. Comput. Program.
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
11
-
-
77953961511
-
Experimental assessment of combining pattern matching strategies with VIATRA2
-
Horváth, A., Bergmann, G., Ráth, I., Varró, D.: Experimental assessment of combining pattern matching strategies with VIATRA2. In: STTT (2010)
-
(2010)
STTT
-
-
Horváth, A.1
Bergmann, G.2
Ráth, I.3
Varró, D.4
-
12
-
-
33644921482
-
A taxonomy of model transformation
-
Karsai, G., Täntzer, G. (eds.) Proc. GraMoT 2005. Elsevier, Amsterdam March
-
Mens, T., Van Gorp, P.: A taxonomy of model transformation. In: Karsai, G., Täntzer, G. (eds.) Proc. GraMoT 2005. ENTCS, vol. 152, pp. 125-142. Elsevier, Amsterdam (March 2005)
-
(2005)
ENTCS
, vol.152
, pp. 125-142
-
-
Mens, T.1
Van Gorp, P.2
-
13
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541-580 (1989)
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
14
-
-
78349263712
-
AGTiVE 2007
-
Kassel, October 10-12. Springer, Heidelberg (Revised Selected and Invited Papers)
-
Rensink, A., Täntzer, G. (eds.): AGTiVE 2007, Kassel, October 10-12. LNCS, vol. 5088. Springer, Heidelberg (2007) (Revised Selected and Invited Papers)
-
(2007)
LNCS
, vol.5088
-
-
Rensink, A.1
Täntzer, G.2
-
15
-
-
35648983850
-
-
Technical Report BPM-06-22, BPMcenter.org
-
Russell, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow control-flow patterns: A revised view. Technical Report BPM-06-22, BPMcenter.org (2006)
-
(2006)
Workflow Control-flow Patterns: A Revised View
-
-
Russell, N.1
Ter Hofstede, A.2
Van Der Aalst, W.3
Mulyar, N.4
-
16
-
-
78349275986
-
-
SAP library
-
SAP. Discovering processes, SAP library (2010), http://help.sap.com/ SAPHELP-NW04S/helpdata/EN/26/1c6d42ab7fd142e10000000a1550b0/content.htm
-
(2010)
Discovering Processes
-
-
-
21
-
-
78349264092
-
-
Rensink, Täntzer (eds.) [14]
-
Varró, D., Asztalos, M., Bisztray, D., et al.: Transformation of UML models to CSP: A case study for graph transformation tools. In: Rensink, Täntzer (eds.) [14], pp. 540-565
-
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
, pp. 540-565
-
-
Varró, D.1
Asztalos, M.2
Bisztray, D.3
|