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 hệ thống quản trị tài nguyên nước trên nền tảng công nghệ Internet kết nối vạn vật (IoT) hỗ trợ chủ động điều hòa cân đối nguồn nước phục vụ phát triển bền vững kinh tế xã hội tỉnh Ninh Bình
Xây dựng mô hình trồng dưa lưới trong nhà màng ứng dụng tiến bộ công nghệ cao tại địa bàn quận Ninh Kiều thành phố Cần Thơ
Chống sét bảo vệ hệ thống điện tỉnh Kon Tum
Tổng hợp chất xúc tác nano Au trên chất mang bằng phương pháp lằng - kết tủa (Deposition - Precipitation) và khảo sát hoạt tính trong phản ứng oxy hóa chọn lọc rượu benzylic trong điều kiện thaanh thiện môi trường
Củng cố mạng lưới Cộng tác viên Sức khỏe cộng đồng để nâng cao năng lực chăm sóc sức khỏe người dân
Hoàn thiện công nghệ chế biến sản phẩm từ cá lóc (chả cá chà bông cá và khô cá) và thử nghiệm sản xuất quy mô doanh nghiệp vừa và nhỏ
Lịch sử 30 năm kháng chiến của lực lượng vũ trang nhân dân huyện Châu Thành tỉnh Sóc Trăng (1945-1975)
Sản xuất một số giống gà chất lượng cao đáp ứng nhu cầu nuôi thương phẩm Gà đồi Chí Linh
Nghiên cứu giải pháp nâng cao phong cách làm việc của đội ngũ cán bộ công chức viên chức tỉnh Quảng Bình trong tình hình hiện nay
Xây dựng Nhãn hiệu tập thể Hồng không hạt Bảo Hà cho sản phẩm hồng không hạt Bảo Hà của huyện Bảo Yên

liên kết website

Lượt truy cập

Lượt truy cập : 17,276,513

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.