Accurate Programming: Thinking about programs in terms of properties

TL;DR

This paper introduces accurate programming, a practical methodology that enhances software quality by encouraging programmers to think about programs through properties, integrating proven development practices.

Contribution

It presents a novel approach that combines existing development methods with property-based thinking to improve understanding and quality of programs.

Findings

Enhances programmer understanding of code

Improves software quality through property-based thinking

Integrates multiple effective development practices

Abstract

Accurate programming is a practical approach to producing high quality programs. It combines ideas from test-automation, test-driven development, agile programming, and other state of the art software development methods. In addition to building on approaches that have proven effective in practice, it emphasizes concepts that help programmers sharpen their understanding of both the problems they are solving and the solutions they come up with. This is achieved by encouraging programmers to think about programs in terms of properties.