TY - GEN
T1 - A calculus of program modifications
AU - Mili, R.
AU - Frappier, M.
AU - Desharnais, J.
AU - Mili, A.
N1 - Publisher Copyright:
© 1997 ACM.
PY - 1997/5/1
Y1 - 1997/5/1
N2 - It is common to distinguish between two paradigms of software reuse: black box reuse, which consists in reusing components verbatim, without modifying them; and white box reuse, which provides for making modifications to retrieved components before using them. Because software components are very information-rich (i.e. it takes a great deal of information to characterize a component), the chances of an exact match between an available component and a query are in general very slim; hence it is necessary to make provisions for adapting retrieved components to user requirements. This paper discusses a mathematical foundation for carrying out this modification process in a correctness-preserving manner.
AB - It is common to distinguish between two paradigms of software reuse: black box reuse, which consists in reusing components verbatim, without modifying them; and white box reuse, which provides for making modifications to retrieved components before using them. Because software components are very information-rich (i.e. it takes a great deal of information to characterize a component), the chances of an exact match between an available component and a query are in general very slim; hence it is necessary to make provisions for adapting retrieved components to user requirements. This paper discusses a mathematical foundation for carrying out this modification process in a correctness-preserving manner.
UR - http://www.scopus.com/inward/record.url?scp=0346797561&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0346797561&partnerID=8YFLogxK
U2 - 10.1145/258366.258415
DO - 10.1145/258366.258415
M3 - Conference contribution
AN - SCOPUS:0346797561
T3 - Proceedings of the 1997 Symposium on Software Reusability, SSR 1997
SP - 157
EP - 168
BT - Proceedings of the 1997 Symposium on Software Reusability, SSR 1997
A2 - Harandi, Medhi
PB - Association for Computing Machinery, Inc
T2 - 1997 Symposium on Software Reusability, SSR 1997
Y2 - 17 May 1997 through 20 May 1997
ER -