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 cơ sở lý luận và thực tiễn xây dựng quy trình xử lý xăng dầu nhập khẩu không đáp ứng yêu cầu về chất lượng
Nghiên cứu quần thể di tích khu vực núi Thần Đinh
Giải pháp tăng cường công tác quản lý và nâng cao hiệu quả sử dụng các quỹ tài chính nhà nước ngoài ngân sách
Ứng dụng công nghệ sinh học phục tráng giống lúa tẻ Dao theo hướng tăng năng suất và chất lượng
Nghiên cứu chiết xuất đánh giá tác dụng dược lý và bào chế tạo sản phẩm hỗ trợ phòng và điều trị bệnh mỡ máu cao viêm loét dạ dày từ lá Bơ (Persea americana) tại tỉnh Đắk Nông
Xây dựng mô hình trạm y tế xã hoạt động theo nguyên lý y học gia đình và quản lý một số bệnh mạn tính tại tuyến y tế cơ sở tỉnh Cao Bằng
Giải pháo nâng cao chất lượng hoạt động Hội Liên hiệp phụ nữ cấp cơ sở tỉnh Vĩnh Phúc
Nghiên cứu những giá trị của lễ hội đua truyền thống giữ gìn và phát huy các giá trị văn hóa truyền thống của quê hương Quảng Ninh
Đánh giá các phương pháp chẩn đoán sớm bệnh tim thiếu máu cục bộ tại thành phố Đà Nẵng
Hoạt động xúc tiến phát triển thị trường khoa học và công nghệ bắt đầu từ năm 2015 của Cục Phát triển thị trường và doanh nghiệp khoa học và công nghệ

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