Luận văn thạc sĩ đặc tả và kiểm chứng thiết kế của hệ thống tương tranh

➤ 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: 55 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ĩ đặc tả và kiểm chứng thiết kế của hệ thống tương tranh

Luận văn thạc sĩ đặc tả và kiểm chứng thiết kế của hệ thống tương tranh

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸ ====oOo=====HOÀNG PHƯƠNG THỨCĐẠC TẢ VẢ KIÉM CHỨNG THI ÉT KÉ CỦA HỆ THỐNG TƯONG TRANHLUẬN VĂN THẠC sĩI

Luận văn thạc sĩ đặc tả và kiểm chứng thiết kế của hệ thống tương tranh I là nội -2011ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ=========oOo=========HOÀNG PHƯƠNG THƯCĐẶC TẢ VẢ KIỂM CHỨNG THIẾT KẾ CỦA HỆ THÓNG TƯƠNG T

RANHNgành: Công nghệ thông tin Chuyên ngành: Công nghệ phần mềm Mã số: 604810LUẬN VĂN THẠC sĩNGƯỜI HƯỚNG DẢN KHOA HỌC: TS. Phạm Ngọc HùngHà nội -2011i Luận văn thạc sĩ đặc tả và kiểm chứng thiết kế của hệ thống tương tranh

LỜI CẢM ƠNTrước tiên tôi xin bày tó lòng biết ơn sâu sắc tới TS. Phạm Ngọc Hùng, giang viên Bộ mòn Công nghệ phần mềm - Khoa Còng nghệ thòng tin - Trư

Luận văn thạc sĩ đặc tả và kiểm chứng thiết kế của hệ thống tương tranh

ờng Đại học Còng nghệ - ĐHQGHN. Trong thời gian học và làm luận văn tổt nghiệp, thầy đã dành nhiều thời gian quý báu vả tận tình chi bão. hướng dẫn tò

Luận văn thạc sĩ đặc tả và kiểm chứng thiết kế của hệ thống tương tranh úp tòi hiểu thấu đáo hơn lĩnh vực mà mình nghiên cửu đè có thê vận dụng những kiến thức đó vảo trong công tác của minh.Tràn trọng câm ơn đe tài mà số

CN. 10.03 dã trợ giúp tòi trong quá trình thực hiện luận văn này.Xin câm ơn bạn bè. đồng nghiệp vã nhất là các thành viên trong gia dinh đà tạo mọi đi Luận văn thạc sĩ đặc tả và kiểm chứng thiết kế của hệ thống tương tranh

ều kiện tốt nhất, động viên, cổ vù tòi trong suốt quá trình học tập và nghiên cứu đê hoàn thành tốt ban luận văn tốt nghiệp này.Hà nội. tháng 6 năm 20

Luận văn thạc sĩ đặc tả và kiểm chứng thiết kế của hệ thống tương tranh

11Học viên thực hiệnHoàng Phương ThứciiLÒĨ CAM ĐOANTÔI xin cam đoan rang, đây Là kết quá nghiên cứu cùa tôi trong đó có sư giúp đờ rất lớn của thầy hư

Luận văn thạc sĩ đặc tả và kiểm chứng thiết kế của hệ thống tương tranh ố tài liệu của một số tác giã đà dược liệt kè tại phan lài liệu tham khảo ở cuối luận văn.Hà nôi. tháng 6 năm 2011Hoc viên thực hiệnHoàng Phuong Thứci

iiMỤC LỤCChương 1. Giói thiệu..........................................................1Chương 2. Các kiến thức cơ bân................................ Luận văn thạc sĩ đặc tả và kiểm chứng thiết kế của hệ thống tương tranh

................42.1.Labeled Transition Systems (LTSs).................................4