메뉴 건너뛰기




Volumn 5301 LNCS, Issue , 2008, Pages 828-842

Meaningful composite structures: On the semantics of ports in UML2

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITE STRUCTURES; CRACK PROPAGATION; INFORMATION THEORY; LINGUISTICS; MACHINE DESIGN; MODELS; PORTS AND HARBORS; SEMANTICS; SOLUTIONS;

EID: 56649095619     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_57     Document Type: Conference Paper
Times cited : (10)

References (10)
  • 1
    • 11244296808 scopus 로고    scopus 로고
    • UML 2 Composition Model
    • Bock, C.: UML 2 Composition Model. Journal of Object Technology 3(10), 47-73 (2004)
    • (2004) Journal of Object Technology , vol.3 , Issue.10 , pp. 47-73
    • Bock, C.1
  • 2
    • 56649086301 scopus 로고    scopus 로고
    • Bruel, J.-M., Ober, I.: Components modeling in UML 2. Studia Jurnal 1, 79-90 (2006)
    • Bruel, J.-M., Ober, I.: Components modeling in UML 2. Studia Jurnal 1, 79-90 (2006)
  • 3
    • 34548073155 scopus 로고    scopus 로고
    • Symbolic Model Based Testing for Component Oriented Systems
    • Petrenko, A, Veanes, M, Tretmans, J, Grieskamp, W, eds, TestCom/FATES 2007, Springer, Heidelberg
    • Faivre, A., Gaston, C., Le Gall, P.: Symbolic Model Based Testing for Component Oriented Systems. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom/FATES 2007. LNCS, vol. 4581, pp. 90-106. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4581 , pp. 90-106
    • Faivre, A.1    Gaston, C.2    Le Gall, P.3
  • 4
    • 33745968975 scopus 로고    scopus 로고
    • Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for test purpose definition. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, 3964, pp. 1-18. Springer, Heidelberg (2006)
    • Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for test purpose definition. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 1-18. Springer, Heidelberg (2006)
  • 5
    • 56649106143 scopus 로고    scopus 로고
    • Haugen, O., Moller-Pedersen, B., Weigert, T.: UML for Real. In: Lavagno, L., Martin, G., Selic, B. (eds.) Structural Modeling with UML 2.0: Classes, Interactions and State Machines, pp. 53-76. Kluwer Academic Publishers, Dordrecht (2004)
    • Haugen, O., Moller-Pedersen, B., Weigert, T.: UML for Real. In: Lavagno, L., Martin, G., Selic, B. (eds.) Structural Modeling with UML 2.0: Classes, Interactions and State Machines, pp. 53-76. Kluwer Academic Publishers, Dordrecht (2004)
  • 8
    • 56649101819 scopus 로고    scopus 로고
    • OMG. Unified Modeling Language: Superstructure version 2.1.2 November 2007
    • OMG. Unified Modeling Language: Superstructure version 2.1.2 (November 2007)
  • 10
    • 56649096991 scopus 로고    scopus 로고
    • Market Enabler for Retarget-able COTS Components in Embedded Domain
    • Toulouse, France, SIA French automotive engineers society
    • Robin, P., Robert, S., Sall, M., Berthier, S.: Market Enabler for Retarget-able COTS Components in Embedded Domain. In: Proceedings of the Embedded Real-Time Software (ERTS), Toulouse, France, SIA (French automotive engineers society) (2006)
    • (2006) Proceedings of the Embedded Real-Time Software (ERTS)
    • Robin, P.1    Robert, S.2    Sall, M.3    Berthier, S.4


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