Nghiên cứu và ứng dụng VDM++ cho Mô hình hóa và Kiểm thử hệ thống IMP tại NTT Data Việt Nam
Giới thiệu tổng quan về VDM và VDM++, cộng đồng phát triển VDM. Cung cấp thông tin về các công cụ hỗ trợ phát triển mô hình hóa bằng VDM++, với những tính năng nổi bật mà công cụ hỗ trợ. Chương 2: Giới thiệu về yêu cầu hệ thống IMP, quy trình phát triển dự án hiện tại, đánh giá những vấn đề...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/11817 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | Vietnamese |
| Summary: | Giới thiệu tổng quan về VDM và VDM++, cộng đồng phát triển
VDM. Cung cấp thông tin về các công cụ hỗ trợ phát triển mô hình hóa bằng VDM++, với những tính năng nổi bật mà công cụ hỗ trợ. Chương 2: Giới thiệu về yêu cầu hệ thống IMP, quy trình phát triển dự án hiện tại, đánh giá những vấn đề của dự án và đưa ra những cải tiến trong quy trình với việc sử dụng VDM++ trong quá trình thiết kế chi tiết. Chương 3: Áp dụng quy trình mới với sự kết hợp sử dụng Overture và Modelio vào việc thiết kế, mô hình hóa hệ thống IMP và đưa ra đánh giá kết quả, tổng hợp những nghiên cứu đạt được sau luận văn và đưa ra hướng phát triển tiếp theo. |
|---|