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

Các nhiệm vụ khác

Giải pháp bảo tồn và phát huy di sản văn hóa trong xây dựng nông thôn mới ở tỉnh Đồng Nai
Nghiên cứu chế tạo cảm biến khí hiệu suất cao trên cơ sở vật liệu nanocomposit cho thiết bị quan trắc không khí tự động
Nghiên cứu xây dựng mô hình thu và lưu giữ nước phục vụ cấp nước sạch hiệu quả cho vùng khô hạn khan hiếm nước Ninh Thuận – Bình Thuận
Nghiên cứu chế tạo thiết bị đo từ hàng không sử dụng máy bay không người lái (UAV) Áp dụng thử nghiệm cho các đề án đánh giá khoáng sản vùng Tây Bắc
Nâng cao chất lượng công tác dân vận của các đơn vị quân đội trên địa bàn Hà Nội trong tình hình mới
Nghiên cứu cơ sở khoa học xây dựng hệ thống quan trắc cảnh báo trượt tự động tại một số khu đô thị trọng điểm khu vực Tây Nguyên
Tôn giáo và văn hóa: nghiên cứu lý thuyết cơ bản và giải pháp khai thác các giá trị văn hóa tôn giáo phục vụ phát triển xã hội Việt Nam hiện nay
Nghiên cứu ứng dụng kỹ thuật mô hình hóa trong công nghệ xử lý yếm khí nước thải giàu hữu cơ vào thực tiễn Việt Nam
Nghiên cứu tính toán năng suất nền kinh tế hướng dẫn tính toán năng suất ngành địa phương và doanh nghiệp
Ứng dụng tiến bộ kỹ thuật xây dựng mô hình trồng rừng thâm canh giống Keo lai nuôi cấy mô tế bào KLTA3 và KL2 năng suất cao trên một số điều kiện lập địa của tỉnh Phú Thọ

liên kết website

Lượt truy cập

Lượt truy cập : 21,665,779

Ứng dụng kết quả thực hiện nhiệm vụ

MS đề tài

102.03-2015.25

Giấy đăng ký KQ số

2020-53-647/KQNC

Tên nhiệm vụ

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

Tổ chức chủ trì

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

Cơ quan chủ quản

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

Cấp quản lý nhiệm vụ

Quốc gia

Chủ nhiệm nhiệm vụ

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

Cán bộ phối hợp

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ệ

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

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

Thời gian bắt đầu

05/2016

Thời gian kết thúc

05/2020

Ngày được nghiệm thu chính thức

05/05/2020

Giấy đăng ký KQ số

2020-53-647/KQNC

Ngày cấp

09/07/2020

Tóm tắt

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.

Ký hiệu kho

17547

Hiệu quả kinh tế

Kết quả nhiệm vụ được ứng dụng tại Trường Đại học Công nghệ, ĐHQGHN

Từ khoá

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

Trạng thái

Ứng dụng

THÔNG TIN THEO LOẠI HÌNH NHIỆM VỤ

Áp dụng đối với

Đề tài KH&CN

Kết quả của đề tài được ứng dụng trong lĩnh vực khoa học công nghệ nào?

Khoa học tự nhiên,

Kết quả của đề tài khoa học và công nghệ có được sử dụng đề giải quyết vấn đề thực tế, là cơ sở đề xuất những nội dung nghiên cứu hoặc những vấn đề mới?

Số lượng công bố khoa học, văn bằng sở hữu công nghiệp có nguồn gốc từ kết quả nghiên cứu của nhiệm vụ khoa học và công nghệ

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

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

Từ ứng dụng kết quả của đề tài, có hình thành yêu cầu bảo hộ sở hữu công nghiệp không?

Không

Việc ứng dụng kết quả của đề tài khoa học và công nghệ có góp phần vào đào tạo nhân lực khoa học và công nghệ không?

Không