Correctness enhancement: A pervasive software engineering paradigm

Document Type

Article

Publication Date

1-1-2020

Abstract

Refinement-based correctness-preserving transformations are considered as the gold standard of program transformations. While we do not dispute the merits of transforming programs in a way that preserves their correctness, we argue that the vast majority of software engineering processes are in fact instances of correctness enhancement rather than correctness preservation. In this paper, we discuss mathematics of correctness enhancement, i.e., the process of making a program more correct than it is with respect to a specification; then we highlight in what way and to what extent correctness enhancement pervades the practice of software engineering.

Identifier

85093842758 (Scopus)

Publication Title

International Journal of Critical Computer Based Systems

External Full Text Location

https://doi.org/10.1504/IJCCBS.2020.108670

e-ISSN

17578787

ISSN

17578779

First Page

37

Last Page

73

Issue

1

Volume

10

Grant

DGE1565478

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS