Software evolution by correctness enhancement

Document Type

Conference Proceeding

Publication Date

1-1-2016

Abstract

Relative correctness is the property of a program to be more-correct than another with respect to a specification; this property enables us to rank candidate programs in a partial ordering structure whose maximal elements are the correct programs. Whereas traditionally we think of program derivation as a process of successive correctness- preserving transformations (using refinement) starting from the specification, we argue that it is possible to derive pro- grams by successive correctness-enhancing transformations (using relative correctness) starting from abort. One of the attributes of our approach is that it captures in the same mathematical model, not only the derivation of programs from scratch, but also most (if not all) of the activities that arise in software evolution. Given that most software is developed nowadays by evolving existing products rather than from scratch, any advance in the technology of pro- gram transformation by correctness enhancement stands to yield significant practical benefits.

Identifier

84988346535 (Scopus)

ISBN

[189170639X, 9781891706394]

Publication Title

Proceedings of the International Conference on Software Engineering and Knowledge Engineering Seke

External Full Text Location

https://doi.org/10.18293/SEKE2016-095

e-ISSN

23259086

ISSN

23259000

First Page

605

Last Page

610

Volume

2016-January

This document is currently not available here.

Share

COinS