Can I read Enhancing Software Correctness Evolution on EtoBox?

Enhancing Software Correctness Evolution by mriwa benabdelali is a document available to read on EtoBox.

What is Enhancing Software Correctness Evolution about?

This document discusses using relative correctness to model software evolution. Relative correctness refers to one program being more correct than another with respect to a specification. The document argues that relative correctness can be used to model various aspects of software evolution, including deriving a correct program from a specification, deriving a reliable program from a specification, merging two programs, upgrading a program with a new feature, removing a fault via corrective maintenance, an

Author

mriwa benabdelali

Language

EN