One technique for detailed design h

One technique for detailed design has already been presented. In Section 5.1, a description of stepwise refinement was given. It then was applied to detailed design using flow charts. In addition to stepwise refinement, formal techniques can be used to advantage in detailed design. Chapter 6 suggests that implementing a complete product and then proving it correct could be counter productive. However, developing the proof and the detailed design in parallel and carefully testing the code as well is quite a different matter. Formal techniques applied to detailed design can greatly assist in three ways:
1. The state of the art in proving correctness is such that, although it generally cannot be applied to a product as a whole, it can be applied to module-sized pieces of a product.
2. Developing a proof together with the detailed design should lead to a design with fewer faults than if correctness proofs were not used.
3. If the same programmer is responsible for both the detailed design and the implementation, then that programmer will feel confident that the detailed design is correct.
This positive attitude toward the design should lead to fewer faults in the code.

Results (Vietnamese) 1:

Một kỹ thuật cho thiết kế chi tiết đã được trình bày. Trong phần 5.1, một mô tả của stepwise sàng lọc đã được đưa ra. Nó sau đó được áp dụng cho thiết kế chi tiết bằng cách sử dụng bảng xếp hạng dòng chảy. Ngoài stepwise tinh tế, kỹ thuật chính thức có thể sử dụng cho lợi ích trong thiết kế chi tiết. Chương 6 cho thấy rằng việc thực hiện một sản phẩm hoàn chỉnh và sau đó chứng minh nó chính xác có thể truy cập sản xuất. Tuy nhiên, phát triển chứng minh và thiết kế chi tiết song song và cẩn thận kiểm tra là tốt mã là khá một vấn đề khác nhau. Kỹ thuật chính thức áp dụng cho thiết kế chi tiết có thể rất nhiều hỗ trợ trong ba cách:1. nhà nước của nghệ thuật trong chứng minh tính đúng đắn là rằng, mặc dù nó thường không thể được áp dụng cho một sản phẩm như một toàn thể, nó có thể được áp dụng để có kích thước mô-đun miếng của một sản phẩm. 2. phát triển một bằng chứng cùng với thiết kế chi tiết nên dẫn đến một thiết kế với ít lỗi hơn nếu chứng minh tính đúng đắn đã không được sử dụng. 3. nếu các lập trình viên cùng chịu trách nhiệm thiết kế chi tiết và việc thực hiện, sau đó lập trình đó sẽ cảm thấy tự tin rằng thiết kế chi tiết là chính xác. Này thái độ tích cực đối với thiết kế nên dẫn đến ít lỗi trong mã.

Results (Vietnamese) 2:

Một kỹ thuật thiết kế chi tiết đã được trình bày. Trong Phần 5.1, một mô tả của sự tinh tế từng bước được đưa ra. Nó sau đó đã được áp dụng để thiết kế chi tiết cách sử dụng các biểu đồ dòng chảy. Ngoài sự tinh tế từng bước, các kỹ thuật chính thức có thể được sử dụng như một lợi thế trong thiết kế chi tiết. Chương 6 cho thấy rằng việc thực hiện một sản phẩm hoàn chỉnh và sau đó chứng minh nó đúng có thể phản tác dụng. Tuy nhiên, việc phát triển các bằng chứng và các chi tiết thiết kế song song và cẩn thận kiểm tra mã cũng là một vấn đề hoàn toàn khác. Kỹ thuật chính thức áp dụng để thiết kế chi tiết rất có thể hỗ trợ trong ba cách:
1. Các nhà nước của nghệ thuật trong việc chứng minh tính đúng đắn là như vậy mà, dù nó thường không thể được áp dụng cho một sản phẩm như một toàn thể, nó có thể được áp dụng cho mô-đun có kích thước mảnh của một sản phẩm.
2. Phát triển một bằng chứng cùng với các thiết kế chi tiết nên dẫn đến một thiết kế với lỗi ít hơn nếu chứng minh tính đúng đắn không được sử dụng.
3. Nếu các lập trình viên cùng chịu trách nhiệm cho cả các thiết kế chi tiết và thực hiện, sau đó lập trình viên sẽ cảm thấy tự tin rằng các thiết kế chi tiết là chính xác.
Thái độ tích cực này đối với việc thiết kế nên dẫn đến lỗi ít hơn trong các mã.