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

Các nhiệm vụ khác

Nghiên cứu sự biến đổi hình thái và chức năng tim bằng siêu âm tim ở bệnh nhân ung thư vú điều trị hóa chất bổ trợ phác đồ AC-TH tại Hà Nội
Phục dựng và đề xuất giải pháp bảo tồn phát huy một số di sản văn hóa tiêu biểu của dân tộc Mường gắn với phát triển du lịch cộng đồng tại xã Mỹ Lung huyện Yên Lập tỉnh Phú Thọ
Đánh giá hiện trạng năng lực và khả năng nghiên cứu ứng dụng phát triển công nghệ tế bào gốc trong lĩnh vực y-dược và nông nghiệp
Xây dựng mô hình trình diễn giống lúa Nhiệt đới 15 trên địa bàn tỉnh Hải Dương
Mô hình nuôi heo trên đệm lót sinh học
Nghiên cứu ảnh hưởng của điều kiện ngoại cảnh và thổ nhưỡng tới chất lượng sâm Ngọc Linh (Panax vietnamensis)
Nghiên cứu xây dựng mô hình công tác xã hội trong trường học tại tỉnh Tiền Giang
Nghiên cứu hoàn thiện công nghệ và sản xuất thử nghiệm sơn phủ gầm ô tô phù hợp điều kiện Việt Nam
Giải pháp nhằm đảm bảo khả năng cân đối quỹ hưu trí và tử tuất trong dài hạn
Xây dựng nhãn hiệu tập thể sản phẩm: Cá khoai Cá Đôi Vàm - Cà Mau

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ụ

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

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

- 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ợ.