-
2
-
-
18944365004
-
A formal approach to component adaptation
-
Automated Component-Based Software Engineering, (in press)
-
A. Bracciali, A. Brogi, and C. Canal. A formal approach to component adaptation. Journal of Systems and Software, Special Issue on Automated Component-Based Software Engineering, (in press).
-
Journal of Systems and Software
, Issue.SPEC. ISSUE
-
-
Bracciali, A.1
Brogi, A.2
Canal, C.3
-
3
-
-
35048875694
-
-
A preliminary version of this paper was published in COORDINATION 2003: Fifth International Conference on Coordination Models and Languages, Springer
-
A preliminary version of this paper was published in COORDINATION 2003: Fifth International Conference on Coordination Models and Languages, LNCS 2315, pages 88-95. Springer, 2002.
-
(2002)
LNCS
, vol.2315
, pp. 88-95
-
-
-
5
-
-
35048880097
-
On the specification of software adaptation
-
FOCLASA'03, (in press)
-
A. Brogi, C. Canal, and E. Pimentel. On the specification of software adaptation. In FOCLASA'03, Electronic Notes in Theoretical Computer Science (ENTCS), 90 (in press), 2003.
-
(2003)
Electronic Notes in Theoretical Computer Science (ENTCS)
, vol.90
-
-
Brogi, A.1
Canal, C.2
Pimentel, E.3
-
6
-
-
0032163727
-
The current state of CBSE
-
A. W. Brown and K. C. Wallnau. The current state of CBSE. IEEE Software, 15(5):37-47, 1998.
-
(1998)
IEEE Software
, vol.15
, Issue.5
, pp. 37-47
-
-
Brown, A.W.1
Wallnau, K.C.2
-
7
-
-
0032651052
-
Adaptable components
-
IEEE Press
-
G. H. Campbell. Adaptable components. In ICSE 1999, pages 685-686. IEEE Press, 1999.
-
(1999)
ICSE 1999
, pp. 685-686
-
-
Campbell, G.H.1
-
9
-
-
8444229885
-
Component-Based Software Quality
-
A. Cechich, M. Piattini, and A. Vallecillo (Eds). Springer
-
A. Cechich, M. Piattini, and A. Vallecillo (Eds). Component-Based Software Quality. LNCS 2693. Springer, 2003.
-
(2003)
LNCS
, vol.2693
-
-
-
10
-
-
84948746951
-
Approximate Non-interference
-
IEEE Press
-
A. Di Pierro, C. Hankin, H. Wiklicky. Approximate Non-interference. In CSFW'02, IEEE Press, pages 3-17, 2002.
-
(2002)
CSFW'02
, pp. 3-17
-
-
Di Pierro, A.1
Hankin, C.2
Wiklicky, H.3
-
11
-
-
4944264909
-
Executable connectors: Towards reusable design elements
-
ESEC/FSE'97, Springer
-
S. Ducasse and T. Richner. Executable connectors: Towards reusable design elements. In ESEC/FSE'97, LNCS 1301. Springer, 1997.
-
(1997)
LNCS
, vol.1301
-
-
Ducasse, S.1
Richner, T.2
-
12
-
-
0029405892
-
Architectural mismatch: Why reuse is so hard
-
D. Garlan, R. Allen, and J. Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, 12(6):17-26, 1995.
-
(1995)
IEEE Software
, vol.12
, Issue.6
, pp. 17-26
-
-
Garlan, D.1
Allen, R.2
Ockerbloom, J.3
-
13
-
-
84976215953
-
Coordination languages and their significance
-
D. Gelernter and N. Carriero. Coordination languages and their significance. Communications of the ACM. 35(2):97-107. 1992
-
(1992)
Communications of the ACM
, vol.35
, Issue.2
, pp. 97-107
-
-
Gelernter, D.1
Carriero, N.2
-
14
-
-
0035783428
-
Automatic synthesis of deadlock free connectors for COM/DCOM applications
-
ACM Press
-
P. Inverardi and M. Tivoli. Automatic synthesis of deadlock free connectors for COM/DCOM applications. In ESEC/FSE'2001. ACM Press, 2001.
-
(2001)
ESEC/FSE'2001
-
-
Inverardi, P.1
Tivoli, M.2
-
16
-
-
0000534417
-
Semantic distance between specifications
-
Elsevier
-
R. Mili et al. Semantic distance between specifications. Theoretical Computer Science, 247:257-276, Elsevier 2000.
-
(2000)
Theoretical Computer Science
, vol.247
, pp. 257-276
-
-
Mili, R.1
-
18
-
-
0036911690
-
Convertibility Verification and Converter Synthesis: Two faces of the same coin
-
ACM Press
-
R. Passerone et al. Convertibility Verification and Converter Synthesis: two faces of the same coin. In Proc. of the Int. Conference on Computer-Aided Design. ACM Press, 2002.
-
(2002)
Proc. of the Int. Conference on Computer-Aided Design
-
-
Passerone, R.1
-
19
-
-
84937414200
-
New issues in object interoperability
-
Object-Oriented Technology, Springer
-
A. Vallecillo, J. Hernández, and J. M. Troya. New issues in object interoperability. In Object-Oriented Technology, LNCS 1964, pages 256-269. Springer, 2000.
-
(2000)
LNCS
, vol.1964
, pp. 256-269
-
-
Vallecillo, A.1
Hernández, J.2
Troya, J.M.3
|