Publications:Accurate Programming : Thinking about programs in terms of properties

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Accurate Programming : Thinking about programs in terms of properties
Author Walid Taha and Veronica Gaspes and Rex Page
Year 2011
PublicationType Conference Paper
HostPublication Proceedings DSL 2011
Conference International Conference on Domain-Specific Languages (DSL 2011), Bordeaux, France, 6-8 September 2011
Diva url
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.