Formal methods largely depend on th

Formal methods largely depend on the use of mathematical notations for the representation parts. These notations permit a degree of consistency checking between the descriptions used in the different stages of design, as well as more rigorous design transformations. However, while the representation parts for such methods have been the subject of considerable research and development, the process parts are less well refined and are apt to be developments of the ‘top-down’ strategy which is discussed more fully in Section 9.3.

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

Phương pháp hình thức chủ yếu phụ thuộc vào việc sử dụng của toán học tả cho các bộ phận đại diện. Các notations cho phép một mức độ nhất quán kiểm tra giữa các mô tả được sử dụng trong các giai đoạn khác nhau của thiết kế, khắt khe hơn thiết kế biến đổi. Tuy nhiên, trong khi những phần đại diện cho phương pháp như vậy đã là chủ đề của nhiều nghiên cứu và phát triển, các bộ phận quá trình là ít tinh chế và được apt để là sự phát triển của chiến lược 'top-down' được thảo luận đầy đủ hơn trong phần 9.3.

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

Phương pháp hình thức chủ yếu phụ thuộc vào việc sử dụng các ký hiệu toán học cho các bộ phận đại diện. Những ký hiệu cho phép một mức độ kiểm tra giữa các mô tả được sử dụng trong các giai đoạn khác nhau của thiết kế nhất quán, cũng như chuyển đổi thiết kế chặt chẽ hơn. Tuy nhiên, trong khi các bộ phận đại diện cho phương pháp này đã là đề tài nghiên cứu và phát triển đáng kể, các bộ phận xử lý là ít được tinh chế và có khuynh hướng được sự phát triển của chiến lược "từ trên xuống" được thảo luận đầy đủ hơn trong phần 9.3.