Calculus of program adaptation and its applications

Rahma Ben Ayed; Jules Desharnais; Marc Frappier; Ali Mili

doi:10.1016/S0167-6423(99)00046-5

Calculus of program adaptation and its applications

Rahma Ben Ayed
, Jules Desharnais
, Marc Frappier
, Ali Mili

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

Abstract

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.

Original language	English (US)
Pages (from-to)	73-123
Number of pages	51
Journal	Science of Computer Programming
Volume	38
Issue number	1
DOIs	https://doi.org/10.1016/S0167-6423(99)00046-5
State	Published - Aug 2000
Externally published	Yes

All Science Journal Classification (ASJC) codes

Software
Information Systems
Modeling and Simulation
Computational Theory and Mathematics

Access to Document

10.1016/S0167-6423(99)00046-5

Cite this

@article{a9dd9ff40836423cbb7c659111eb2818,

title = "Calculus of program adaptation and its applications",

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

author = "Ayed, \{Rahma Ben\} and Jules Desharnais and Marc Frappier and Ali Mili",

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

year = "2000",

month = aug,

doi = "10.1016/S0167-6423(99)00046-5",

language = "English (US)",

volume = "38",

pages = "73--123",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "1",

}

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 - https://www.scopus.com/pages/publications/0034251218

UR - https://www.scopus.com/pages/publications/0034251218#tab=citedBy

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 -

Calculus of program adaptation and its applications

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this