메뉴 건너뛰기




Volumn 2880, Issue , 2003, Pages 46-57

Incremental integration tools for chemical engineering: An industrial application of triple graph grammars

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL PLANTS; CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; INTEGRATION;

EID: 0345254989     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39890-5_5     Document Type: Article
Times cited : (10)

References (19)
  • 1
    • 0000508650 scopus 로고
    • Pair grammars, graph languages and string-to-graph translations
    • Pratt, T.W.: Pair grammars, graph languages and string-to-graph translations. Journal of Computer and System Sciences 5 (1971) 560-595
    • (1971) Journal of Computer and System Sciences , vol.5 , pp. 560-595
    • Pratt, T.W.1
  • 2
    • 84947918251 scopus 로고
    • Specification of graph translators with triple graph grammars
    • Mayr, E.W., Schmidt, G., Tinhofer, G., eds.: Proceedings 20th Workshop on Graph-Theoretic Concepts in Computer Science WG 1994. Herrsching, Germany, Springer
    • Schürr, A.: Specification of graph translators with triple graph grammars. In Mayr, E.W., Schmidt, G., Tinhofer, G., eds.: Proceedings 20th Workshop on Graph-Theoretic Concepts in Computer Science WG 1994. LNCS 903, Herrsching, Germany, Springer (1994) 151-163
    • (1994) LNCS , vol.903 , pp. 151-163
    • Schürr, A.1
  • 3
    • 0039226623 scopus 로고    scopus 로고
    • SFB-476 IMPROVE: Informatische Unterstützung übergreifender Entwicklungsprozesse in der Verfahrenstechnik
    • Jarke, M., Pasedach, K., Pohl, K., eds.: Aachen, Germany, Springer
    • Nagl, M., Marquardt, W.: SFB-476 IMPROVE: Informatische Unterstützung übergreifender Entwicklungsprozesse in der Verfahrenstechnik. In Jarke, M., Pasedach, K., Pohl, K., eds.: Informatik '97: Informatik als Innovationsmotor. Informatik aktuell, Aachen, Germany, Springer (1997) 143-154
    • (1997) Informatik '97: Informatik als Innovationsmotor. Informatik Aktuell , pp. 143-154
    • Nagl, M.1    Marquardt, W.2
  • 8
  • 11
    • 33750080781 scopus 로고    scopus 로고
    • Building Tightly-Integrated Software Development Environments: The IPSEN Approach
    • Nagl, M., ed.: Springer, Berlin, Germany
    • Nagl, M., ed.: Building Tightly-Integrated Software Development Environments: The IPSEN Approach. LNCS 1170. Springer, Berlin, Germany (1996)
    • (1996) LNCS , vol.1170
  • 16
    • 84937200056 scopus 로고    scopus 로고
    • Computer aided multi-paradigm modeling to process petri-nets and statecharts
    • Corradini, A., Ehrig, H., Kreowski, H.J., Rozenberg, G., eds.: Proceedings of the 1st International Conference on Graph Transformations. Barcelona, Spain, Springer
    • de Lara, J., Vangheluwe, H.: Computer aided multi-paradigm modeling to process petri-nets and statecharts. In Corradini, A., Ehrig, H., Kreowski, H.J., Rozenberg, G., eds.: Proceedings of the 1st International Conference on Graph Transformations. LNCS 2505, Barcelona, Spain, Springer (2002) 239-253
    • (2002) LNCS , vol.2505 , pp. 239-253
    • De Lara, J.1    Vangheluwe, H.2
  • 18
    • 85013571177 scopus 로고    scopus 로고
    • Towards an integration of different specification methods by using the Viewpoint framework
    • Enders, B., Heverhagen, T., Goedicke, M., Tröpfner, P., Tracht, R.: Towards an integration of different specification methods by using the Viewpoint framework. Transactions of the SDPS 6 (2002) 1-23
    • (2002) Transactions of the SDPS , vol.6 , pp. 1-23
    • Enders, B.1    Heverhagen, T.2    Goedicke, M.3    Tröpfner, P.4    Tracht, R.5


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