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 đánh giá tác động và đề xuất giải pháp quản lý hệ thống điện mặt trời mái nhà trên địa bàn thành phố Hà Nội
Ứng dụng chương trình GRASP trong phục hồi chức năng chi trên ở bệnh nhân liệt nửa người do tai biến mạch máu não
Biến đổi xã hội và văn hóa ở làng công giáo từ sau đổi mới đến nay (Nghiên cứu trường hợp làng Thạch Bích xã Bích Hòa Huyện Thanh Oai Hà Nội)
Ứng dụng công nghệ phủ sơn bằng hợp chất hữu cơ trong bảo vệ chống ăn mòn đối với các sản phẩm kim loại trong lĩnh vực công nghiệp xây dựng gia dụng
Tác động của mô hình kinh doanh đến khả năng sinh lời của các ngân hàng thương mại Việt Nam
Nghiên cứu chọn tạo giống và hoàn thiện quy trình kỹ thuật thâm canh một số cây ăn quả chủ lực (chuối xoài sầu riêng nhãn) phục vụ nội tiêu và xuất khẩu cho các tỉnh Nam bộ
Nghiên cứu chọn tạo giống và quy trình kỹ thuật thâm canh cây mít cho một số vùng chính ở các tỉnh phía Nam
Nghiên cứu hoàn thiện quy trình công nghệ chế biến một số loại rau thành sản phẩm tiện dụng tại tỉnh Phú Thọ
Điều tra qui hoạch trồng và sử dụng các loại cây thuốc tại thị xã Kon Tum
Ứng dụng công nghệ thông tin xây dựng văn phòng trực tuyến phục vụ công tác đào tạo cán bộ của trường chính trị Nguyễn Văn Cừ tỉnh Bắc Ninh

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