A calculus of program adaptation and its applications

https://doi.org/10.1016/S0167-6423(99)00046-5Get rights and content
Under an Elsevier user license
open archive

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.

Keywords

Formal specifications
Programming calculi
Program construction
Software merging
Software incrementation
Software modification

Cited by (0)

1

Also affiliated with the Institute for Software Research, 1000 Technology Drive, Fairmont, WV 26554, USA.