A calculus of program modifications

R. Mili; M. Frappier; J. Desharnais; A. Mili

doi:10.1145/258366.258415

A calculus of program modifications

R. Mili, M. Frappier, J. Desharnais, A. Mili

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Scopus citations

Abstract

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.

Original language	English (US)
Title of host publication	Proceedings of the 1997 Symposium on Software Reusability, SSR 1997
Editors	Medhi Harandi
Publisher	Association for Computing Machinery, Inc
Pages	157-168
Number of pages	12
ISBN (Electronic)	0897919459, 9780897919456
DOIs	https://doi.org/10.1145/258366.258415
State	Published - May 1 1997
Externally published	Yes
Event	1997 Symposium on Software Reusability, SSR 1997 - Boston, United States Duration: May 17 1997 → May 20 1997

Publication series

Name	Proceedings of the 1997 Symposium on Software Reusability, SSR 1997

Other

Other	1997 Symposium on Software Reusability, SSR 1997
Country/Territory	United States
City	Boston
Period	5/17/97 → 5/20/97

All Science Journal Classification (ASJC) codes

Software

Access to Document

10.1145/258366.258415

Cite this

@inproceedings{d6a39921202843f8b2d0829d751d112e,

title = "A calculus of program modifications",

abstract = "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.",

author = "R. Mili and M. Frappier and J. Desharnais and A. Mili",

note = "Publisher Copyright: {\textcopyright} 1997 ACM.; 1997 Symposium on Software Reusability, SSR 1997 ; Conference date: 17-05-1997 Through 20-05-1997",

year = "1997",

month = may,

day = "1",

doi = "10.1145/258366.258415",

language = "English (US)",

series = "Proceedings of the 1997 Symposium on Software Reusability, SSR 1997",

publisher = "Association for Computing Machinery, Inc",

pages = "157--168",

editor = "Medhi Harandi",

booktitle = "Proceedings of the 1997 Symposium on Software Reusability, SSR 1997",

}

Mili, R, Frappier, M, Desharnais, J & Mili, A 1997, A calculus of program modifications. in M Harandi (ed.), Proceedings of the 1997 Symposium on Software Reusability, SSR 1997. Proceedings of the 1997 Symposium on Software Reusability, SSR 1997, Association for Computing Machinery, Inc, pp. 157-168, 1997 Symposium on Software Reusability, SSR 1997, Boston, United States, 5/17/97. https://doi.org/10.1145/258366.258415

A calculus of program modifications. / Mili, R.; Frappier, M.; Desharnais, J. et al.
Proceedings of the 1997 Symposium on Software Reusability, SSR 1997. ed. / Medhi Harandi. Association for Computing Machinery, Inc, 1997. p. 157-168 (Proceedings of the 1997 Symposium on Software Reusability, SSR 1997).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A calculus of program modifications

AU - Mili, R.

AU - Frappier, M.

AU - Desharnais, J.

AU - Mili, A.

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 -

A calculus of program modifications

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this