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

Ứng dụng tiến bộ kỹ thuật xây dựng mô hình trồng thử nghiệm cây sung Mỹ tại Trung tâm Ứng dụng KH&CN Bắc Giang
Khai thác và phát triển bộ giống cây trồng có tiềm năng kinh tế tại Trung tâm Ứng dụng khoa học và công nghệ Lâm Đồng
Hoàn thiện thiết kế chế tạo dây chuyền sản xuất linh hoạt kết cấu nhà thép nhẹ tiền chế
Nghiên cứu xây dựng và đề xuất giải pháp phát huy hiệu quả toàn soạn điện tử hội tụ trong hoạt động thông tin tuyên truyền báo chí trong giai đoạn hiện nay (10/ĐTKHVP-2019)
Nghiên cứu tham vấn học đường trong các trường trung học ở tỉnh Lâm Đồng
Ứng dụng công nghệ thông tin phục vụ đăng ký và truy xuất nguồn gốc sản phẩm hàng hóa của thành phố Cần Thơ
Nghiên cứu sản xuất cacboxymetyl xenlulozơ (CMC) từ phụ phẩm nông nghiệp bằng quy trình sản xuất hạn chế xả thải
Nghiên cứu xây dựng các văn bản kỹ thuật đo lường Việt Nam (ĐLVN) năm 2016
Triển khai đánh giá chất lượng sản phẩm hàng hóa của các doanh nghiệp Việt Nam theo phương pháp chỉ số sự hài lòng của khách hàng năm 2014
Tuyên truyền phổ biến kết nối cung cầu công nghệ và tư vấn chuyển giao KHCN trên địa bàn tỉnh Bạc Liêu

liên kết website

Lượt truy cập

Lượt truy cập : 16,147,197

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