A calculus of program modifications

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

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish (US)
Title of host publicationProceedings of the 1997 Symposium on Software Reusability, SSR 1997
EditorsMedhi Harandi
PublisherAssociation for Computing Machinery, Inc
Pages157-168
Number of pages12
ISBN (Electronic)0897919459, 9780897919456
DOIs
StatePublished - May 1 1997
Externally publishedYes
Event1997 Symposium on Software Reusability, SSR 1997 - Boston, United States
Duration: May 17 1997May 20 1997

Publication series

NameProceedings of the 1997 Symposium on Software Reusability, SSR 1997

Other

Other1997 Symposium on Software Reusability, SSR 1997
Country/TerritoryUnited States
CityBoston
Period5/17/975/20/97

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint

Dive into the research topics of 'A calculus of program modifications'. Together they form a unique fingerprint.

Cite this