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

Full description

Saved in:
Bibliographic Details
Main Author: Nguyễn, Xuân Tùng
Other Authors: Nguyễn, Văn Tăng
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
id oai:112.137.131.14:VNU_123-11817
record_format dspace
spelling oai:112.137.131.14:VNU_123-118172018-11-26T04:25:46Z 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 Research and apply VDM ++ for modeling and testing systems at NTT Data IMP Vietnam Nguyễn, Xuân Tùng Nguyễn, Văn Tăng Công nghệ thông tin Công nghệ phần mềm Tin học Kiểm thử hệ thống IMP 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. 2016-06-07T02:53:34Z 2016-06-07T02:53:34Z 2015 Thesis Nguyễn, X. T. (2015). 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. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam http://repository.vnu.edu.vn/handle/VNU_123/11817 vi 11 tr. application/pdf
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language Vietnamese
topic Công nghệ thông tin
Công nghệ phần mềm
Tin học
Kiểm thử hệ thống IMP
spellingShingle Công nghệ thông tin
Công nghệ phần mềm
Tin học
Kiểm thử hệ thống IMP
Nguyễn, Xuân Tùng
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
description 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.
author2 Nguyễn, Văn Tăng
author_facet Nguyễn, Văn Tăng
Nguyễn, Xuân Tùng
format Theses and Dissertations
author Nguyễn, Xuân Tùng
author_sort Nguyễn, Xuân Tùng
title 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
title_short 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
title_full 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
title_fullStr 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
title_full_unstemmed 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
title_sort 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
publishDate 2016
url http://repository.vnu.edu.vn/handle/VNU_123/11817
_version_ 1680962430847418368