-
1
-
-
85039522222
-
Using non-functional requirements to select components: A formal approach
-
San Jose, Costa Rica, Apr
-
C.F.Alves, ct al.Using non-functional requirements to select components: A formal approach.In Proc.of (IDEAS'01), San Jose, Costa Rica, Apr.2001.
-
(2001)
Proc.Of (IDEAS'01)
-
-
Alves, C.F.1
Al, C.2
-
2
-
-
84974720115
-
Designing an object-oriented programming language with behavioral subtyping
-
Springer-Verlag
-
P.America.Designing an object-oriented programming language with behavioral subtyping.In Foundations of Object-Oriented Languages, number 489 in LNCS, pages 60-90.Springer-Verlag, 1991.
-
(1991)
Foundations of Object-Oriented Languages, Number 489 in LNCS
, pp. 60-90
-
-
America, P.1
-
3
-
-
84947934696
-
Formal specification and prototyping of CORBA systems
-
Springer-Verlag
-
R.Bastide, O.Sy, and R Palanque.Formal specification and prototyping of CORBA systems.In Proceedings of ECOOP'99, number 1628 in LNCS 1628, pages 474-494.Springer-Verlag, 1999.
-
(1999)
Proceedings of ECOOP'99, Number 1628 in LNCS 1628
, pp. 474-494
-
-
Bastide, R.1
Sy, O.2
Palanque, R.3
-
4
-
-
0033698776
-
Extending corba interfaces with 7r-calculus for protocol compatibility
-
France, June.IEEE Press
-
C.Canal, L.Fuentes, J.M.Troya, and A.Vallecillo.Extending CORBA interfaces with 7r-calculus for protocol compatibility.In Proc.of TOOLS Europe 2000, pages 208-225, France, June 2000.IEEE Press.
-
(2000)
Proc.Of TOOLS Europe 2000
, pp. 208-225
-
-
Canal, C.1
Fuentes, L.2
Troya, J.M.3
Vallecillo, A.4
-
6
-
-
0002828717
-
A protocol-based approach to specifying interoperability between objects
-
IEEE Press
-
I.Cho, J.McGregor, and L.Krause.A protocol-based approach to specifying interoperability between objects.In Proceedings ofT00LS'26, pages 84-96.IEEE Press, 1998.
-
(1998)
Proceedings ofT00LS'26
, pp. 84-96
-
-
Cho, I.1
McGregor, J.2
Krause, L.3
-
9
-
-
0029537754
-
Forcing behavioral sub-typing through specification inheritance
-
IEEE Press
-
K.K.Dhara and G.T.Leavens.Forcing behavioral sub-typing through specification inheritance.In Proceedings of ICSE-18, pages 258-267, 1996.IEEE Press.
-
(1996)
Proceedings of ICSE-18
, pp. 258-267
-
-
Dhara, K.K.1
Leavens, G.T.2
-
10
-
-
84889053300
-
-
ExoLab Group.The OpenORB Entreprise Suite, 2001
-
ExoLab Group.The OpenORB Entreprise Suite, 2001.http://openorb.exolab. org.
-
-
-
-
11
-
-
0029405892
-
Architectural mismatch: Why reuse is so hard
-
Nov
-
D.Garlan, R.Allen, and J.Ockerbloom.Architectural mismatch: Why reuse is so hard.IEEE Sofware, pages 17-26, Nov.1995.
-
(1995)
IEEE Sofware
, pp. 17-26
-
-
Garlan, D.1
Allen, R.2
Ockerbloom, J.3
-
12
-
-
35248840742
-
Temporal logic based specifications of component interaction protocols
-
In J.Hernandez, A.Vallecillo, and J.M.Troya, editors, June
-
J.Han.Temporal logic based specifications of component interaction protocols.In J.Hernandez, A.Vallecillo, and J.M.Troya, editors, Proc.of the ECOOP'2000 Workshop on Object Interoperability (WOI'OO), pages 43-52, June 2000.
-
(2000)
Proc.Of the ECOOP'2000 Workshop on Object Interoperability (woi'Oo)
, pp. 43-52
-
-
Han, J.1
-
17
-
-
0029325224
-
Reusing software: Issues and research directions
-
H.Mili, F.Mili, and A.Mili.Reusing software: Issues and research directions.IEEE TSE, 21(6):528-562, 1995.
-
(1995)
IEEE TSE
, vol.21
, Issue.6
, pp. 528-562
-
-
Mili, H.1
Mili, F.2
Mili, A.3
-
18
-
-
0000534417
-
Semantic distance between specifications
-
Sept
-
R.Mili, J.Desharnais, M.Frappier, and A.Mili.Semantic distance between specifications.Theoretical Comput.Sci, 247(1-2):257-276, Sept.2000.
-
(2000)
Theoretical Comput.Sci
, vol.247
, Issue.1-2
, pp. 257-276
-
-
Mili, R.1
Desharnais, J.2
Frappier, M.3
Mili, A.4
-
19
-
-
2442495776
-
COTS software selection: The need to make tradeoffs between system requirements, architectures and COTS components
-
C.Ncube and N.Maiden.COTS software selection: The need to make tradeoffs between system requirements, architectures and COTS components.In Continuing Collaborations for Successful COTS Development Workshop, 2000.
-
(2000)
Continuing Collaborations for Successful COTS Development Workshop
-
-
Ncube, C.1
Maiden, N.2
-
20
-
-
0002307882
-
Regular types for active objects
-
In O.Nier-strasz and D.Tsichritzis, editors, Prentice-Hall
-
O.Nierstrasz.Regular types for active objects.In O.Nier-strasz and D.Tsichritzis, editors, Object-Oriented Software Composition, pages 99-121.Prentice-Hall, 1995.
-
(1995)
Object-Oriented Software Composition
, pp. 99-121
-
-
Nierstrasz, O.1
-
21
-
-
84889000026
-
-
The CORBA Component Model.Object Management Group, June
-
OMG.The CORBA Component Model.Object Management Group, June 1999.http://www.omg.org.
-
(1999)
-
-
-
24
-
-
84889075300
-
Semantic trading: Tackling interoperability problems during systems integration
-
In A.Vallecillo, J.Hernandez, and J.M.Troya, editors, June
-
S.Terzis and P.Nixon.Semantic trading: Tackling interoperability problems during systems integration.In A.Vallecillo, J.Hernandez, and J.M.Troya, editors, Proc.of WOF99, pages 35-42, June 1999.
-
(1999)
Proc.Of WOF99
, pp. 35-42
-
-
Terzis, S.1
Nixon, P.2
-
26
-
-
84957662801
-
Object interoperability
-
Springer-Verlag
-
A.Vallecillo, J.Hernandez, and J.M.Troya.Object interoperability.In ECOOP'99 Workshop Reader, number 1743 in LNCS, pages 1-21.Springer-Verlag, 1999.
-
(1999)
ECOOP'99 Workshop Reader, Number 1743 in LNCS
, pp. 1-21
-
-
Vallecillo, A.1
Hernandez, J.2
Troya, J.M.3
-
27
-
-
84889076567
-
Webtrader: Discovery and programmed access to web-based services
-
Canada, May
-
V.Vasudevan and T.Bannon.Webtrader: Discovery and programmed access to web-based services.Poster at WWW8, Toronto, Canada, May 1999.=
-
(1999)
Poster at WWW8, Toronto
-
-
Vasudevan, V.1
Bannon, T.2
|