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

Các nhiệm vụ khác
liên kết website
Lượt truy cập
 Lượt truy cập :  20,570,869
  • Ứng dụng kết quả thực hiện nhiệm vụ

102.03-2015.25

2020-53-647/KQNC

Khung ngữ nghĩa hình thức cho kết hợp và kiểm chứng mô hình trong phát triển phần mềm

Trường Đại học Công nghệ

Đại học Quốc gia Hà Nội

Quốc gia

PGS.TS. Nguyễn Việt Hà

PGS.TS. Phạm Ngọc Hùng; TS. Đặng Đức Hạnh; TS. Vũ Diệu Hương; TS. Võ Đình Hiếu; ThS. Chu Thị Minh Huệ

Khoa học máy tính và thông tin

05/2016

05/2020

05/05/2020

2020-53-647/KQNC

09/07/2020

Các kết quả của đề tài là các giải pháp lý thuyết về ngữ nghĩa tích hợp của các mô hình trong các ngôn ngữ khác nhau, được sử dụng trong việc phát triển một hệ thống phức tạp, nhằm để cụ thể hóa, phân loại, và giải thích mối quan hệ giữa chúng cũng như để kiểm chứng hệ thống tổng thể. Các kết quả này có tiềm năng ứng dụng trong thực tế nhưng cần thời gian để hoàn thiện và chờ cơ hội áp dụng. Hiện tại, các nghiên cứu này vẫn được nhóm nghiên cứu tiếp tục phát triển.
17547
Kết quả nhiệm vụ được ứng dụng tại Trường Đại học Công nghệ, ĐHQGHN

Phần mềm; Khung ngữ nghĩa hình thức; Khung ngữ nghĩa kiểm chứng; Tích hợp; Cấu trúc; Phát triển

Ứng dụng

Đề tài KH&CN

Khoa học tự nhiên,

Số lượng công bố trong nước: 0

Số lượng công bố quốc tế: 0

Không

Không