tailieunhanh - Mô hình đại số quan hệ của hệ thống hướng đối tượng.

Mô hình đại số quan hệ của hệ thống hướng đối tượng . Các buổi gặp mặt do Quỹ Josiah Macy Jr. nên còn được gọi là Hội thảo về Điều khiển học Macy. Ngành Điều khiển học thì lấy mốc năm 1948 làm năm ra đời ngành bởi vì vào năm cuốn sách "Điều khiển học: | Tap chi Tin hoc và Diều khiển hoc 2005 261 270 MO HÌNH DAI Số QUAN HỆ CUA HỆ THONG HƯỚNG Đối TƯỢNG NGUYỄN MẠNH DỨC1 NGUYEN VAN VY2 DẶNG VAN DỨC3 1Khoa Toán Trường -Dại học Sư phạm - Dại học Thai Nguyên 2 Trường Dại học Cong nghê- Dại học Quác gia Hà Nội 3 Viên Cong nghê thêng tin Abstract. This article presents semantics of object oriented system with classes visibility dynamic binding and recursive methods. The class declarations and commands are served as designs in terms of pre- and post conditions the relations of components in system. This approach shows clearer relations of components in object oriented system possibility of using tools and cheecking method to improve the refinement for further development of systems. The algebraical laws are expanded for design specification of object oriented programs. Tom tắt. Bài bao tr mh bay ngữ nghĩa cua he thong hướng dối tượng với các lớp tính trực quan lien kốt dộng va cac phương thác dê quy. Cac khai báo lóp va các lệnh nhu là các thiết ke dua trên tiốn diếu kiên hậu diếu kiến va các mối quan hê ciìa cac thanh phan trong he thong. Cách tiếp cến nay sĩ cho thay rữ rang moi quan hê cua các thanh phan trong hê thong hướng doi tượng và các khả năng su dung các cong cu va cach thức kiêm tra dê cải tiên dặc tả hê thêng duoc phát triên sau này. Nhờ dá các luật dạii sê da duoc phat tHên áp dung cho viêc dăc tả chuong trình huáng dổi tuong. 1. GIỚI THIÊU Thiết ke và phát triển hệ thống phần mềm với ngôn ngữ hướng doi tượng là rat phức tạp 1 5 . Nhiều nhá nghiến cứữ chi rá sư cán thiết phát triền cớng cư hình thức hớá làm nôn táng chớ việc phát triển phền mềm hướng dới tượng. Bái báớ này sẽ tìm hiểứ cách thức lệp trình dựá trền ly thưyềt cưá Hớáre và Hể 2 dưng vàớ vìốc xáy dưng mợt cách dưng dắn các chướng trình hướng dới tượng. Ly thưyểt láp trình dược vền dưng dề trình bày ngư. nghẽá cưá ngền ngư láp trình hướng dới tướng với các lớp tính rõ ráng liển kềt dềng các phướng thưc dề qưy vá tính dể qưy. Đề chớ dơn gi .