메뉴 건너뛰기




Volumn 5088 LNCS, Issue , 2008, Pages 410-425

Applying a grouping operator in model transformations

Author keywords

Graph transformation; Model transformation

Indexed keywords

COMPLEX MODEL; COMPLEX OPERATIONS; GRAPH TRANSFORMATION; LEVEL OF ABSTRACTION; MODEL TRANSFORMATION; MODEL TRANSFORMATION LANGUAGES; REAL-LIFE MODELS; REWRITING OPERATIONS;

EID: 56749095621     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89020-1_28     Document Type: Conference Paper
Times cited : (3)

References (15)
  • 4
    • 0022769976 scopus 로고
    • Graph Based Algorithms for Boolean Function Manipulation
    • Bryant, R.E.: Graph Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers C-35(8), 677-691 (1986)
    • (1986) IEEE Transactions on Computers , vol.C-35 , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 10
    • 56749169664 scopus 로고    scopus 로고
    • Personal communications with developers and researchers from industrial labs
    • Personal communications with developers and researchers from industrial labs
  • 12
    • 84955590678 scopus 로고    scopus 로고
    • Schürr, A., Winter, A., Zündorf, A.: Graph grammar engineering with PROGRES. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, 989, pp. 219-234. Springer, Heidelberg (1995)
    • Schürr, A., Winter, A., Zündorf, A.: Graph grammar engineering with PROGRES. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, pp. 219-234. Springer, Heidelberg (1995)
  • 13
    • 84948949817 scopus 로고    scopus 로고
    • Silva, A.R., Rosa, F.A., Gonalves, T., Antunes, M.: Distributed Proxy: A Design Pattern for the Incremental Development of Distributed Applications. In: Emmerich, W., Tai, S. (eds.) EDO 2000. LNCS, 1999, pp. 165-181. Springer, Heidelberg (2001)
    • Silva, A.R., Rosa, F.A., Gonalves, T., Antunes, M.: Distributed Proxy: A Design Pattern for the Incremental Development of Distributed Applications. In: Emmerich, W., Tai, S. (eds.) EDO 2000. LNCS, vol. 1999, pp. 165-181. Springer, Heidelberg (2001)
  • 14
    • 56749179163 scopus 로고    scopus 로고
    • Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Bohlen, B. (eds.) AGTIVE 2003. LNCS, 3062. Springer, Heidelberg (2004)
    • Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Bohlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062. Springer, Heidelberg (2004)


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