Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 71 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam

Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC C ÓNG NGHẸNGUYỂN XUÀN TÙNGNGHIÊN CỦ u VÀ ÚNG DỤNG VDM++ CHO MỒ HÌNH HÓA VÀ KIỂM THỦ HỆ THÔNG IMP TẠI NTTDATA VI

Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam IETNAMLƯẬN VĂN THẠC sỉ CÔNG NGHỆ THÔNG TINHà Nội-2015ĐẠI HỌC QƯỎC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CỒNG NGHẸNGUYỀN XUÂN TÙNGNGHIẺN CỦ u VÀ ÚNG DỤNG VDM++ CHO

MÔ HÌNH HÓA VÀ KIỂM THỦ HỆ THÓNG IMP TẠI NTTDATA VIETNAMNgành: Công nghệ Thông TinChuyên ngành: ('ông nghệ phân mèm Mà Số: 60480103LUẬN VĂN TTĨẠC sĩ Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam

CÔNG NGĨTẸ THÔNG TĨNNGƯỜI HƯỚNG DẢN KIIOAIIỌC: TS. NGUYÊN VÃN TĂNGHà Nội-20151LỜI CẢM ƠNTôi xin giri lời cám ơn chân thảnh nhất lới T.s Nguyền Văn Tàn

Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam

g - người đà tận tinh chỉ bao. góp ý vã giúp dờ tòi hoán thành luận vãn nãy.Tôi xin chân thành cảm ơn các thầy cô giáo Khoa Công Nghệ Thông Tin. Trườn

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC C ÓNG NGHẸNGUYỂN XUÀN TÙNGNGHIÊN CỦ u VÀ ÚNG DỤNG VDM++ CHO MỒ HÌNH HÓA VÀ KIỂM THỦ HỆ THÔNG IMP TẠI NTTDATA VI

Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam hiên cứu tại trường.Tôi cũng xin chân thành câm ơn gia dinh, bạn bè. dồng nghiệp luôn dộng viên giúp đờ mỗi khi lôi gặp khó khàn cùng như lạo mọi điều

kiện thuận lợi đê lôi hoàn thành nhiệm vụ học tập và nghiên cứu trong suốt thời gian qua.2LỜĨ CAM ĐOANTôi xin cam đoan những kết quà trong luận vãn n Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam

ày là do tôi nghiên cứu. tồng h

Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam

uồn tài liệu khác nhau. Tất cá các nguồn tài liệu đều có nguồn gốc rò ràng và trích dẫn đầy đù.Tôi xin hoàn loàn chịu trách nhiệm với lời cam đoan của

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC C ÓNG NGHẸNGUYỂN XUÀN TÙNGNGHIÊN CỦ u VÀ ÚNG DỤNG VDM++ CHO MỒ HÌNH HÓA VÀ KIỂM THỦ HỆ THÔNG IMP TẠI NTTDATA VI

Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam ................................................................1LÒI CAM ĐOAN.................................................................2MỤC LỤC

......................................................................3DANH MỤC CÁC KÝ HIỆU, TỪ VIÉT TÁT............................................5M Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam

Ó ĐÀU.......................................................................9CHƯƠNG 1 - GIỚI THIỆU CHUNG..............................................

Luận văn thạc sĩ VNU UET 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 NTTDATA việt nam

...101.1.Giới thiệu về VDM......................................................10

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC C ÓNG NGHẸNGUYỂN XUÀN TÙNGNGHIÊN CỦ u VÀ ÚNG DỤNG VDM++ CHO MỒ HÌNH HÓA VÀ KIỂM THỦ HỆ THÔNG IMP TẠI NTTDATA VI