Calculus of program adaptation and its applications

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

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


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 languageEnglish (US)
Pages (from-to)73-123
Number of pages51
JournalScience of Computer Programming
Issue number1
StatePublished - Aug 2000
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software


Dive into the research topics of 'Calculus of program adaptation and its applications'. Together they form a unique fingerprint.

Cite this