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

• المؤلف الرئيسي: Nguyễn, Xuân Tùng
• مؤلفون آخرون: Nguyễn, Văn Tăng
• التنسيق: Theses and Dissertations
• اللغة: Vietnamese
• منشور في: 2016
• الموضوعات: Công nghệ thông tin; Công nghệ phần mềm; Tin học; Kiểm thử hệ thống IMP
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/11817

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 đề...