Browse wiki

From CERES
Jump to: navigation, search
Publications:Accurate Programming : Thinking about programs in terms of properties
Abstract <p>Accurate programming is a practic<p>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.</p>programs in terms of properties.</p>
Author Walid Taha + , Veronica Gaspes + , Rex Page +
Conference International Conference on Domain-Specific Languages (DSL 2011), Bordeaux, France, 6-8 September 2011
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588238
EndPage 260  +
HostPublication Proceedings DSL 2011  +
PublicationType Conference Paper  +
StartPage 236  +
Title Accurate Programming : Thinking about programs in terms of properties  +
Year 2011  +
Has queryThis property is a special property in this wiki. Publications:Accurate Programming : Thinking about programs in terms of properties + , Publications:Accurate Programming : Thinking about programs in terms of properties + , Publications:Accurate Programming : Thinking about programs in terms of properties + , Publications:Accurate Programming : Thinking about programs in terms of properties + , Publications:Accurate Programming : Thinking about programs in terms of properties + , Publications:Accurate Programming : Thinking about programs in terms of properties + , Publications:Accurate Programming : Thinking about programs in terms of properties + , Publications:Accurate Programming : Thinking about programs in terms of properties + , Publications:Accurate Programming : Thinking about programs in terms of properties + , Publications:Accurate Programming : Thinking about programs in terms of properties +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:44:36  +
show properties that link here 

 

Enter the name of the page to start browsing from.