1

Tên nhiệm vụ: Cơ sở hình thức và công cụ hỗ trợ cho thao tác mô hình trong phát triển phần mềm hướng mô hình

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: - Xây dựng cơ sở hình thức để đảm bảo tính đúng đắn của thao tác mô hình._x000d_ - Đề xuất lược đồ phát triển phần mềm dựa trên mô hình._x000d_ - Phát triển bộ công cụ hỗ trợ biểu diễn, thực thi và đảm bảo chất lượng thao tác mô hình._x000d_ - Đánh giá tính hiệu quả của lược đồ phát triển phần mềm dựa trên mô hình được đề xuất và công cụ hỗ trợ.

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