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

Chỉ số đề mục

50.03; 27.17

Lĩnh vực nghiên cứu

Dạng tài liệu

Tác giả

Nguyễn Mạnh Đức, Nguyễn Văn Vỵ, Đặng Văn Đức⁽¹⁾, Nguyễn Khoa Triều⁽²⁾

Nhan đề

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

Nhan đề tiếng anh

Nguồn trích

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

Năm xuất bản

2005

Số

3

Trang

261-270

ISSN

1813-9663

Từ khóa

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

Từ khóa tiếng anh

Tóm tắt

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.

Tóm tắt tiếng anh

Kí hiệu kho

TTKHCNQG, CVv 127

File toàn văn

Xem toàn văn