메뉴 건너뛰기




Volumn 17 CCIS, Issue , 2008, Pages 724-737

The jABC approach to rigorous collaborative development of SCM applications

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; FORMAL METHODS; GRAPH STRUCTURES;

EID: 84898270276     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-88479-8_52     Document Type: Conference Paper
Times cited : (3)

References (27)
  • 3
    • 78649860226 scopus 로고    scopus 로고
    • website
    • BPEL specifications website, http://www.ibm.com/developerworks/library/ specification/ws-bpel/
    • BPEL Specifications
  • 5
    • 78649862161 scopus 로고    scopus 로고
    • GME: Generic Modeling Environment, Demonstration session
    • Anaheim, CA, ACM, New York
    • Davis, J.: GME: Generic Modeling Environment, Demonstration session. In: OOP-SLA, Anaheim, CA, pp. 82-83. ACM, New York (2003)
    • (2003) OOP-SLA , pp. 82-83
    • Davis, J.1
  • 7
    • 78649830796 scopus 로고    scopus 로고
    • homepage
    • Fujaba homepage, http://wwwcs.uni-paderborn.de/cs/fujaba/index.html
    • Fujaba
  • 9
    • 78649881807 scopus 로고    scopus 로고
    • Website
    • jABC Website, http://www.jabc.de
    • jABC
  • 10
    • 38049113286 scopus 로고    scopus 로고
    • Model-Driven Development with the jABC
    • Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. Springer, Heidelberg
    • Jörges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4383
    • Jörges, S.1    Kubczak, C.2    Nagel, R.3    Margaria, T.4    Steffen, B.5
  • 12
    • 49049126479 scopus 로고
    • Results on the Propositional mu-Calculus
    • Kozen, D.: Results on the Propositional mu-Calculus. Theoretical Computer Science 27, 333-354 (1983)
    • (1983) Theoretical Computer Science , vol.27 , pp. 333-354
    • Kozen, D.1
  • 14
    • 36749099559 scopus 로고    scopus 로고
    • Service Is in the Eyes of the Beholder
    • Margaria, T.: Service Is in the Eyes of the Beholder. IEEE Computer 40(11), 33-37 (2007)
    • (2007) IEEE Computer , vol.40 , Issue.11 , pp. 33-37
    • Margaria, T.1
  • 17
    • 19644377513 scopus 로고    scopus 로고
    • Lightweight coarse-grained coordination: A scalable system-level approach
    • Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2-3), 107-123 (2004)
    • (2004) STTT , vol.5 , Issue.2-3 , pp. 107-123
    • Margaria, T.1    Steffen, B.2
  • 18
    • 78649865404 scopus 로고    scopus 로고
    • From the How to the What
    • Proc. VSTTE 2005, Verified Software - Theories, Tools, and Experiments, IFIP Working Conference, Zurich. Springer, Heidelberg
    • Margaria, T., Steffen, B.: From the How to the What. In: Proc. VSTTE 2005, Verified Software - Theories, Tools, and Experiments, IFIP Working Conference, Zurich. LNCS, vol. 4171. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.4171
    • Margaria, T.1    Steffen, B.2
  • 20
    • 33744965257 scopus 로고    scopus 로고
    • Service-Oriented Design: The Roots
    • Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. Springer, Heidelberg
    • Margaria, T., Steffen, B., Reitenspieß, M.: Service-Oriented Design: The Roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450-464. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3826 , pp. 450-464
    • Margaria, T.1    Steffen, B.2    Reitenspieß, M.3
  • 21
    • 84957706882 scopus 로고    scopus 로고
    • Model-Checking: A Tutorial Introduction
    • Cortesi, A., Filé, G. (eds.) SAS 1999. Springer, Heidelberg
    • Müller-Olm, M., Schmidt, D.A., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Filé, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330-354. Springer, Heidelberg (1999)
    • (1999) LNCS , vol.1694 , pp. 330-354
    • Müller-Olm, M.1    Schmidt, D.A.2    Steffen, B.3
  • 26
    • 36749096905 scopus 로고    scopus 로고
    • Full Life-Cycle Support for End-to-End Processes
    • Steffen, B., Narayan, P.: Full Life-Cycle Support for End-to-End Processes. IEEE Computer 40(11), 64-73 (2007)
    • (2007) IEEE Computer , vol.40 , Issue.11 , pp. 64-73
    • Steffen, B.1    Narayan, P.2


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