Accurate Programming: Thinking about programs in terms of properties

Accurate Programming: Thinking about programs in terms of properties

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,...

Full description

Bibliographic Details
Main Authors: Walid Taha, Veronica Gaspes, Rex Page
Format: Article
Language:English
Published: Open Publishing Association 2011-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1109.0786v1
id doaj-3f6b8e11bafe4e31ae7eb5aacbb5e491
record_format Article
spelling doaj-3f6b8e11bafe4e31ae7eb5aacbb5e4912020-11-24T23:41:21ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802011-09-0166Proc. DSL 201123626010.4204/EPTCS.66.13Accurate Programming: Thinking about programs in terms of propertiesWalid TahaVeronica GaspesRex PageAccurate 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.http://arxiv.org/pdf/1109.0786v1
collection DOAJ
language English
format Article
sources DOAJ
author Walid Taha
Veronica Gaspes
Rex Page
spellingShingle Walid Taha
Veronica Gaspes
Rex Page
Accurate Programming: Thinking about programs in terms of properties
Electronic Proceedings in Theoretical Computer Science
author_facet Walid Taha
Veronica Gaspes
Rex Page
author_sort Walid Taha
title Accurate Programming: Thinking about programs in terms of properties
title_short Accurate Programming: Thinking about programs in terms of properties
title_full Accurate Programming: Thinking about programs in terms of properties
title_fullStr Accurate Programming: Thinking about programs in terms of properties
title_full_unstemmed Accurate Programming: Thinking about programs in terms of properties
title_sort accurate programming: thinking about programs in terms of properties
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2011-09-01
description 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.
url http://arxiv.org/pdf/1109.0786v1
work_keys_str_mv AT walidtaha accurateprogrammingthinkingaboutprogramsintermsofproperties
AT veronicagaspes accurateprogrammingthinkingaboutprogramsintermsofproperties
AT rexpage accurateprogrammingthinkingaboutprogramsintermsofproperties
_version_ 1725507762027233280

Similar Items