Sök personal

Sök bland våra professorer, lärare och övriga medarbetare

Staff at Halmstad University

Go back

Accurate Programming : Thinking about programs in terms of properties

Taha, Walid, Gaspes, Veronica, Page, Rex

Conference paper (Refereegranskat)


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.

Key words: Computational linguistics; Computer programming languages; Problem oriented languages; Software engineering; Software testing; Agile programming; High-quality programs; Software development methods; State of the art; Test Automation; Test driven development; Software design

Cite: Taha, Walid, Gaspes, Veronica & Page, Rex, Accurate Programming Thinking about programs in terms of properties, Proceedings IFIP Working Conference on Domain-Specific Languages., s. 236-260, 2011https://doi.org/10.4204/EPTCS.66.13