Accurate Programming: Thinking about programs in terms of properties (original) (raw)

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. * This work is funded by the Swedish KK Foundation, the Fulbright program, and the US NSF. † This tutorial is contained in lecture notes entitled "Accurate Programming" by Veronica Gaspes, Rex Page, and Walid Taha, available under the Creative Commons 3.0 Unported License online at accurate-programming.org.

Sign up for access to the world's latest research.

checkGet notified about relevant papers

checkSave papers to use in your research

checkJoin the discussion with peers

checkTrack your impact