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

Xây dựng phòng thí nghiệm nuôi cấy mô tế bào thực vật tại Sở Khoa học Công nghệ và Môi trường tỉnh Kon Tum
Đề xuất mô hình liên kết hoạt động cung ứng dịch vụ khoa học và công nghệ khu vực Nam Bộ
Xây dựng mô hình sản xuất các loại nấm và giống nấm có giá trị kinh tế (nấm linh chi nấm mộc nhĩ nấm sò nấm mỡ) quy mô bán công nghiệp tại Trung tâm ứng tiến bộ KH&CN Vĩnh Phúc
Hội đồng kinh tế - xã hội Liên hợp quốc và định hướng tham gia của Việt Nam trong nhiệm kỳ 2016-2018
Xây dựng mô hình nuôi tôm thẻ chân trắng (Litopenaus vannamei) theo hướng hữu cơ sử dụng công nghệ sinh học thay thế thuốc kháng sinh và hóa chất
Nghiên cứu xây dựng mô hình chăn nuôi gà Tàu theo hướng an toàn sinh học tại huyện Châu Thành tỉnh Long An
Dư án Ứng dụng kết quả đề tài Nghiên cứu tái chế chất thải rắn PP PE tỉnh Tiền Giang thành vật liệu phục vụ đời sống với giá thành thấp
Nghiên cứu ứng dụng hệ thống sửa lỗi ghép cặp ADN (MMR) trong ung thư đại-trực tràng tại Bệnh Viện Ung bướu Cần Thơ
Khai thác và phát triển bền vững tài nguyên du lịch hang động trên địa bàn tỉnh Quảng Bình
Đánh giá một số gen kháng thuốc của chủng Salmonella đa kháng thuốc (Multidrug resistant - MDR) phân lập từ thịt tươi ở một số địa điểm tạ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.