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

Nâng cao hiệu quả quản lý nhà nước về an ninh trật tự đối với hoạt động của đạo Công giáo trên địa bàn tỉnh Quảng Bình trong tình hình hiện nay
Xây dựng mô hình nuôi cá sông trong ao và đánh giá hiệu quả kinh tế khả năng ứng dụng công nghệ nuôi cá sông trong ao tại tỉnh Phú Thọ
Nghiên cứu sàng lọc và chẩn đoán trước sinh bệnh Thalassemia tại Quảng Ninh
Hoàn thiện và chuyển giao quy trình sản xuất phân hữu cơ có bổ sung vi sinh vật có ích tại tỉnh Trà Vinh
Tài nguyên nước cho tăng trưởng và phát triển kinh tế bền vững: cơ sở lý thuyết và kinh nghiệm của một số nước châu Phi – Trung Đông
Mẫu tiêu bản thực vật rừng - Yêu cầu kỹ thuật
Ứng dụng tiến bộ khoa học và công nghệ xây dựng mô hình sản xuất giống và nuôi thương phẩm Cá chim vây vàng (Trachinotus spp. Lacepede, 1801) tại Phú Yên
Ứng dụng khoa học công nghệ trong trồng rừng gỗ lớn hỗn loài đa mục đích nhằm tăng năng suất giá trị sản phẩm lâm nghiệp
Xây dựng mô hình liên kết sản xuất gắn với chế biến và tiêu thụ sản phẩm một số giống lúa phục vụ chế biến tại các làng nghề của tỉnh Phú Thọ
Nghiên cứu bảo tồn và phát triển loài cá cóc Tam Đảo tại vườn Quốc gia Tam Đảo trên địa bàn tỉnh Vĩnh Phúc

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