DMCA
Using Formal Transformations to Construct a Component Repository (1993)
| Venue: | IN SOFTWARE REUSE: THE EUROPEAN APPROACH |
| Citations: | 5 - 5 self |
BibTeX
@INPROCEEDINGS{Ward93usingformal,
author = {Martin Ward},
title = {Using Formal Transformations to Construct a Component Repository},
booktitle = {IN SOFTWARE REUSE: THE EUROPEAN APPROACH},
year = {1993},
pages = {0},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper discusses how theoretical results from the field of program transformations can be applied to develop a new approach to software reuse. We describe a model for the semantics of nondeterministic programs and specifications and use this model to show how refinements and transformations of programs and specifications can be proved correct by reference to their corresponding Weakest Preconditions expressed as formulae in infinitary first order logic. We then show how this theory of program renements and transformations (which is further developed in [7]) can be applied to the construction of a repository of reusable components consisting of code, specifications, documentation and development methods. These components are linked together in such a way that specifications and their implementations can be extracted easily.
