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

Nghiên cứu tính toán chỉ số năng suất các nhân tố tổng hợp (TFP) giai đoạn 2016 - 2020 và đề xuất các giải pháp nâng cao đóng góp của TFP vào kinh tế - xã hội tỉnh Yên Bái cho giai đoạn tiếp theo
Nghiên cứu công nghệ xử lý nước thải chứa lưu huỳnh trong nhà máy sản xuất giấy sử dụng hệ xúc tác oxit kim loại chuyển tiếp cố định trên nền polyme
Chuyển giao quy trình sản xuất nhanh chế phẩm nấm xanh Metarhizium anisopline ở quy mô nông hộ và xây dựng mô hình ứng dụng nấm xanh Metarhizium anisopline trừ rầy nâu hại lúa tại 4 huyện Ba Tri Bình Đại Thạnh Phú Giồng Trôm tỉnh Bến Tre
Vận dụng sáng tạo và phát triển tư tưởng nghệ thuật ngoại giao Hồ Chí Minh trong tình hình mới
Nghiên cứu ứng dụng hệ thống chụp mạch kỹ thuật số trong chuẩn đoán và điều trị bệnh động mạch vành tại Bệnh viện Đa khoa tỉnh Thanh Hóa
Nghiên cứu khảo nghiệm tuyển chọn một số giống lúa lai F1 ngắn ngày phù hợp trên địa bàn tỉnh Phú Yên
Đánh giá công tác phòng chống thiên tai có nguồn gốc từ khí tượng thủy văn xảy ra trước năm 2015 và đề xuất giải pháp nâng cao hiệu quả của công tác này đến năm 2030 trên địa bàn tỉnh Lâm Đồng
Hoàn thiện công nghệ và sản xuất thử nghiệm nguyên liệu giàu protein từ bột sắn và bã sắn bằng công nghệ lên men vi sinh để làm thức ăn hỗn hợp hoàn chỉnh trong chăn nuôi bò sữa bò thịt tại vùng chăn nuôi trọng điểm của Hà Nội
Ứng dụng kỹ thuật thụ tinh nhân tạo giống bò BBB (Blanc Blue Belge) trên nền bò cái lai Sind để nâng cao năng suất chất lượng trong chăn nuôi bò thịt tại Ninh Bình
Văn hóa truyền thông đại chúng ở Việt Nam trong điều kiện kinh tế thị trường và toàn cầu hóa

liên kết website

Lượt truy cập

Lượt truy cập : 13079543

Ứ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