BỘ KHOA HỌC VÀ CÔNG NGHỆ
HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ

Lọc theo danh mục
  • Năm xuất bản
    Xem thêm
  • Lĩnh vực
liên kết website
Lượt truy cập
 Lượt truy cập :  22,700,241
  • Công bố khoa học và công nghệ Việt Nam

50.03; 27.17

Nguyễn Mạnh Đức, Nguyễn Văn Vỵ, Đặng Văn Đức(1)

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

Tin học và điều khiển học

2005

3

261-270

1813-9663

Hệ thống hướng đối tượng, Đại số quan hệ

Trình bày ngữ nghĩa của hệ thống hướng đối tượng với các lớp, tính trực quan, liên kết động và các phương thức đệ quy. Các khai báo lớp và các lệnh như là các thiết kế dựa trên tiền điều kiện, hậu điều kiện và các mối quan hệ của các thành phần trong hệ thống... Cách tiếp cận này sẽ cho thấy rõ ràng mối quan hệ của các thành phần trong hệ thống hướng đối tượng, và các khả năng sử dụng các công cụ và cách thức kiểm tra để cải tiến đặc tả hệ thống được phát triển sau này.

TTKHCNQG, CVv 127

Xem toàn văn