软件工程师能有几次真正花时间来证明一个程序的正确性？
How many times do software engineers actually take time out to prove a program is correct?
协同设计也要求开发人员对他们所创建的整体应用程序的正确性和质量负责。
Collaborative design also suggests that developers are responsible for the correctness and quality of the parts of the overall application they create.
代码结构糟糕透了，程序员显然没有深入思考程序的正确性，算法，数据结构和可维护性。
The structure is appalling, and the programmers clearly didn't think deeply about correctness, algorithms, data structures, or maintainability.
应用推荐