Phương pháp kiểm chứng sự tương đương giữa các mô hình phần mềm

Các nhiệm vụ khác

Nghiên cứu ứng dụng xây dựng hoàn thiện mô hình quản lý và phát triển tài sản trí tuệ cho một số sản phẩm của tỉnh Vĩnh Phúc theo tiêu chí của Chương trình OCOP
Nghiên cứu các giải pháp khắc phục hủ tục ở vùng đồng bào dân tộc thiểu số tỉnh Lai Châu
Xác định biến đổi di truyền trên gen PSORS1C3 ở bệnh nhân mắc bệnh vẩy nến Việt Nam
Nâng cao chất lượng, hiệu quả hoạt động của Hội Cựu chiến binh các cấp thành phố Hà Nội trong bảo vệ nền tảng tư tưởng của Đảng hiện nay
Hợp tác công tư trong cung ứng dịch vụ công nông thôn tỉnh Nam Định
Nghiên cứu giải pháp công nghệ xây dựng hệ thống thông tin hỗ trợ quản lý và đào tạo ngành học đặc thù tại trường Đại học Văn Hóa Thể Thao và Du Lịch Thanh Hóa
Hoàn thiện thiết ké và công nghệ chế tạo một số máy chính phục vụ cơ giới hóa sản xuất khoai tây
Xây dựng phần mềm phục vụ quản lý công tác chăm sóc sức khỏe cộng đồng cấp quận huyện trên địa bàn thành phố Đà Nẵng
Thiết kế chế tạo máy xới đất cho cây ăn quả
Xây dựng mô hình cảnh báo rủi ro vận hành tại các ngân hàng thương mại Việt Nam

liên kết website

Lượt truy cập

Lượt truy cập : 13079543

Nhiệm vụ đang tiến hành

Tên nhiệm vụ

Phương pháp kiểm chứng sự tương đương giữa các mô hình phần mềm

Tổ chức chủ trì

Đại học Công nghệ

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

Bộ

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

Khoa học máy tính

Kinh phí

200 (triệu đồng)

Tóm tắt nội dung nghiên cứu chính

-Đề xuất các phương pháp hiệu quả về mô hình hóa và kiểm chứng để xác định tính đúng đắn, phát hiện lỗi thực thi, lỗi an ninh, an toàn thông tin của mô hình và sự tương đương giữa các mô hình, phục vụ đánh giá chất lượng phần mềm._x000d_ - Phát triển các công cụ hỗ trợ kiểm chứng tính đúng đắn, phát hiện lỗi thực thi, lỗi an ninh, an toàn thông tin và sự tương đương giữa các mô hình.