More seriously, even perfect progra

More seriously, even perfect program verification can only establish that a program meets its specification. The hardest part of the software task is arriving at a complete and consistent specification, and much of the essence of building a program is in fact the debugging of the specification.

Kết quả (Việt) 1:

Nghiêm trọng hơn, thậm chí hoàn hảo chương trình xác minh chỉ có thể thiết lập một chương trình đáp ứng kỹ thuật của nó. Phần khó nhất của việc phần mềm đi đến một đặc điểm kỹ thuật đầy đủ và nhất quán, và nhiều của bản chất của xây dựng một chương trình là trong thực tế gỡ lỗi của đặc điểm kỹ thuật.

Kết quả (Việt) 2:

Nghiêm trọng hơn, thậm chí xác minh chương trình hoàn hảo chỉ có thể thiết lập một chương trình đáp ứng đặc điểm kỹ thuật của nó. Phần khó nhất của nhiệm vụ phần mềm đã được chuyển đến một đặc điểm kỹ thuật đầy đủ và nhất quán, và nhiều hơn về bản chất của việc xây dựng một chương trình là trong thực tế, gỡ lỗi của các đặc điểm kỹ thuật.