-
1
-
-
11244296808
-
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
-
-
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
-
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
-
-
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
-
-
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
-
-
OMG. Unified Modeling Language: Superstructure version 2.1.2 November 2007
-
OMG. Unified Modeling Language: Superstructure version 2.1.2 (November 2007)
-
-
-
-
9
-
-
84880356894
-
Enhancing Interaction Support in the CORBA Component Model
-
Rettberg, A, Zanella, M.C, Rammig, F.J, eds, Springer, Heidelberg
-
Robert, S., Radermacher, A., Seignole, V., Gérard, S., Watine, V., Terrier, F.: Enhancing Interaction Support in the CORBA Component Model. In: Rettberg, A., Zanella, M.C., Rammig, F.J. (eds.) From Specification to Embedded Systems Application. IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS). Springer, Heidelberg (2005)
-
(2005)
From Specification to Embedded Systems Application. IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS)
-
-
Robert, S.1
Radermacher, A.2
Seignole, V.3
Gérard, S.4
Watine, V.5
Terrier, F.6
-
10
-
-
56649096991
-
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
|