1

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

2

3

4

Mã số nhiệm vụ (nếu có):

5

Tên tổ chức chủ trì: Đại học Công nghệ

6

Cơ quan chủ quản:

7

Chủ nhiệm nhiệm vụ:

8

Danh sách cá nhân tham gia nhiệm vụ:

9

Mục tiêu nghiên cứu:

10

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 để xác định tính đúng đắn, phát hiện lỗi thực thi, lỗi an ninh, an toàn thông tin của mô hình và sự tương đương giữa các mô hình, phục vụ đá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 và sự tương đương giữa các mô hình.

11

Lĩnh vực nghiên cứu: Khoa học máy tính

12

Mục tiêu kinh tế xã hội của nhiệm vụ:

13

Phương pháp nghiên cứu:

14

Sản phẩm khoa học và công nghệ dự kiến:

15

Địa chỉ và quy mô ứng dụng dự kiến:

16

Thời gian thực hiện: 0 tháng (từ đến )

17

Kinh phí được phê duyệt: 200 triệu đồng
trong đó:

18

Quyết định phê duyệt: số ngày 01 tháng Tháng 1 năm 1970

19

Hợp đồng thực hiện: số ngày 01 tháng Tháng 1 năm 1970