TY - JOUR
T1 - Calculus of program adaptation and its applications
AU - Ayed, Rahma Ben
AU - Desharnais, Jules
AU - Frappier, Marc
AU - Mili, Ali
N1 - Funding Information:
There is no greater sign of quality reviewing than to have reviewers show us insights about our work that we failed to see ourselves: the authors are very grateful to the anonymous reviewers for their insightful, knowledgeable feedback. Also, the correspondence author acknowledges the assistance of Dr Bojan Cukic, West Virginia University, in reviewing this material, and in providing feedback on semantics altering transformations. This research was supported by NSERC (Natural Sciences and Engineering Research Council of Canada).
PY - 2000/8
Y1 - 2000/8
N2 - Traditional programming calculi focus on transforming a specification into a program. With the advent of such recent paradigms as white box reuse, component-based software development, and re-engineering, and with the continued predominance of software maintenance, less and less software engineering activity nowadays deals with straightforward development. More and more, software products are derived by incrementing, composing, merging, or otherwise modifying existing components. In this paper we present a calculus that models these paradigms.
AB - Traditional programming calculi focus on transforming a specification into a program. With the advent of such recent paradigms as white box reuse, component-based software development, and re-engineering, and with the continued predominance of software maintenance, less and less software engineering activity nowadays deals with straightforward development. More and more, software products are derived by incrementing, composing, merging, or otherwise modifying existing components. In this paper we present a calculus that models these paradigms.
UR - http://www.scopus.com/inward/record.url?scp=0034251218&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0034251218&partnerID=8YFLogxK
U2 - 10.1016/S0167-6423(99)00046-5
DO - 10.1016/S0167-6423(99)00046-5
M3 - Article
AN - SCOPUS:0034251218
SN - 0167-6423
VL - 38
SP - 73
EP - 123
JO - Science of Computer Programming
JF - Science of Computer Programming
IS - 1
ER -