tailieunhanh - Nghiên cứu thực nghiệm tính phân bố đều của các dãy số ngẫu nhiên,giả ngẫu nhiên và tựa ngẫu nhiên.

Nghiên cứu thực nghiệm tính phân bố đều của các dãy số ngẫu nhiên,giả ngẫu nhiên và tựa ngẫu nhiên. Từ trọng tâm của nó ban đầu là nghiên cứu máy móc và sinh vật, điều khiển học nhanh chóng mở rộng ra các đối tượng phức tạp như trí não (Bateson và Ashby) và hệ thống xã hội, quản lý học, chính trị học. khôi phục lại ý đồ Plato đặt ra ban đầu là điều khiển các quan hệ trong xã hội. . | Tạp chí Tin học và Điều khiền học 2006 63-74 VÊ MỘT CÁCH TINH CHẾ MÔ HÌNH LỚP UML NGUYỄN MẠNH ĐỨC1 ĐẶNG VĂN ĐỨC2 Khoa Toán Trường -Đại học Su phạm - -Đại học Thái Nguyên 2Viện Công nghệ thông tin Viện KllỉvCN Việt Nam Abstract. This paper presents a refinement method in the development process of software systems based on object-oriented relations. In the process of refinement the laws of refinement in conjunction with UML Unified Modeling Language diagrams have been used. This allows US to build a system step by step from a rudimentary model to a design model which can be implemented using an object-oriented programming language. The process of the refinement has been also explained by a software development example. Tóm tắt. Bài báo trình bày một cách tinh chế hệ thống phần mềm trong quá trình phát triển dựa trên tiệm cận quan hệ hướng đối tượng. Trong quá trình tinh chế các luật tinh chế kết hợp với các biểu đồ của UML đã được sử dụng để từng bước xây dựng mô hình từ thô sơ của hệ thống dần tới mô hình thiết kế gần với ngôn ngữ lập trình. Kỹ thuật này đã tạo điều kiện thuận lợi cho việc cài đặt hệ thống phần mềm bang một ngôn ngữ lập trình hướng đối tượng bất kỳ. 1. GIỚI THIỆU Thiết kế và phát triển hệ thống phần mềm theo phương pháp hướng đối tượng là rất phức tạp 1 4 . Đã có nhiều nghiên cứu nhằm giải quyết tính phức tạp này trong đó có những nghiên cứu chỉ ra sự cần thiết phát triển công cụ hình thức hóa làm nền tảng cho việc phát triển phần mềm hướng đối tượng. Bài báo sẽ trình bày một cách tinh chế mô hình UML dựa trên lý thuyết lập trình thống nhất của Hoare và He 2 và đề xuất áp dụng chúng vào việc xây dựng hệ thống phần mềm với đảm bảo tính đúng đắn cao. Trong tiến trình phát triển phần mềm RUP Rational Unified Process trên cơ sở ngôn ngữ mô hình hóa thống nhất UML 1 4 7 một số mô hình của UML được hình thành để biểu diln và phân tích cấu trúc hệ thống trong pha nào đó của quá trình phát triển thí dụ các biểu đồ lớp biểu diln phân tích tĩnh .

TỪ KHÓA LIÊN QUAN