메뉴 건너뛰기




Volumn 6981 LNCS, Issue , 2011, Pages 258-272

Semantic clone detection for model-based development of embedded systems

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC DETECTION; CLONE DETECTION; DEVELOPMENT METHODOLOGY; DIFFERENT STRUCTURE; MODEL BASED DEVELOPMENT; NORMAL FORM; SIMULINK MODELS; SOFTWARE DEVELOPMENT PROCESS;

EID: 80054073887     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24485-8_19     Document Type: Conference Paper
Times cited : (30)

References (12)
  • 4
    • 24644474275 scopus 로고    scopus 로고
    • Termination criteria for model transformation
    • Cerioli, M. (ed.) FASE 2005. Springer, Heidelberg
    • Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D., Varró-Gyapay, S.: Termination criteria for model transformation. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 49-63. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3442 , pp. 49-63
    • Ehrig, H.1    Ehrig, K.2    De Lara, J.3    Taentzer, G.4    Varró, D.5    Varró-Gyapay, S.6
  • 6
    • 77957911027 scopus 로고    scopus 로고
    • Detection of Semantically Equivalent Fragments for Business Process Model Change Management
    • IEEE Computer Society, Los Alamitos
    • Gerth, C., Luckey, M., Kuster, J.M., Engels, G.: Detection of Semantically Equivalent Fragments for Business Process Model Change Management. In: International Conference on Services Computing, pp. 57-64. IEEE Computer Society, Los Alamitos (2010)
    • (2010) International Conference on Services Computing , pp. 57-64
    • Gerth, C.1    Luckey, M.2    Kuster, J.M.3    Engels, G.4
  • 8
    • 0242612453 scopus 로고    scopus 로고
    • Identifying similar code with program dependence graphs
    • Krinke, J.: Identifying similar code with program dependence graphs. In: WCRE 2001 (2001)
    • (2001) WCRE 2001
    • Krinke, J.1
  • 10
    • 0009399483 scopus 로고    scopus 로고
    • Termination of graph rewriting is undecidable
    • Plump, D.: Termination of graph rewriting is undecidable. Fundam. Inf. 33, 201-209 (1998), http://portal.acm.org/citation.cfm?id=294994.294998
    • (1998) Fundam. Inf. , vol.33 , pp. 201-209
    • Plump, D.1
  • 11
    • 33750916314 scopus 로고    scopus 로고
    • Confluence of graph transformation revisited
    • Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. Springer, Heidelberg
    • Plump, D.: Confluence of graph transformation revisited. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. LNCS, vol. 3838, pp. 280-308. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3838 , pp. 280-308
    • Plump, D.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.