精确编程：从属性的角度思考程序
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, 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
