Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính
Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính
Bộ GIÁO DỤC VÀ DÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOẢ HÀ NỘILUẬN VÀN THẠC SỸ KHOA HỌCKIỂM TRA MÔ HÌNH PHẢN MỀM SỬ DỤNG LÝ THUYẾT ÔTÔMAT BUCHI VÀ LOGIC THỜI Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính GIAN TUYẾN TÍNHNGÀNH: CÒNG NGHẸ THÒNG TIN MÃ SÓ:PHẠM THỊ THÁI NINHNgười hướng dẫn khoa học: TS. HUỲNH QUYÉT THÁNGHÀ NỘI 20061LỜI CẢM ONTrước her tôi xin gưi lời cám ơn dặc biệt nhất tới Thầy TS Huỳnh Quyết Thắng, người đã định hướng đề tài và tận tình hướng dẫn chi hào tôi trong suốt (ỊUÚ trình thự Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính c hiện hân luận vân cao học này, từ những ỷ tường trong đề cương nghiên cứu, phương pháp giãi quyềt vấn đề cho đến những lần kiểm tra cuối cùng để hoàKiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính
n tất hàn luận vân.Tôi xin chân thành bày tò lòng biết ơn sâu sắc tói Trung tâm Đào tạo Sau dụi học và các thầy cô giáo trong khoa Công nghệ thông tinBộ GIÁO DỤC VÀ DÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOẢ HÀ NỘILUẬN VÀN THẠC SỸ KHOA HỌCKIỂM TRA MÔ HÌNH PHẢN MỀM SỬ DỤNG LÝ THUYẾT ÔTÔMAT BUCHI VÀ LOGIC THỜI Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính thê, một khoáng thời gian học cao học tuy ngắn ngùi nhưng khó quên trong cuộc đòi.Tôi xin bày tò lòng còm ơn chân thành tói tầt cà các hạn bè, các đồng nghiệp đà dộng viên tôi trong suốt thời gian thực hiện ban luận vân này.Cuôi cùng tôi xin dành một tình cùm biêt ơn sâu nặng tói Bô, Mẹ và gia đình Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính , những ngưìri đà luôn luôn ở bên cạnh tôi trong mọi nơi, mọi lúc trong suốt quá trình làm bùn luận vàn cao học này củng như trong suốt cuộc đời tôi.nKiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính
à nội, tháng 11 năm 2006Tác giáPhạm Thị Thái Ninh2LỜI CAM DOANTòi xin cam đoan đây là công trinh nghiên cửu của riêng tòi. Các kết quả nêu trong bân lBộ GIÁO DỤC VÀ DÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOẢ HÀ NỘILUẬN VÀN THẠC SỸ KHOA HỌCKIỂM TRA MÔ HÌNH PHẢN MỀM SỬ DỤNG LÝ THUYẾT ÔTÔMAT BUCHI VÀ LOGIC THỜI Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính ........................................1LÒI CAM ĐOAN...............................................2MỤC LỤC....................................................3DANH MỤC CÁC TỪ VIẾT TẢT...................................6DANH MỤC CÁC HÌNH VÈ. ĐÕ THỊ...............................7LÒI Mơ ĐÀU......... Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính ........................................8CHƯƠNG L.TÓNG QUAN VÉ KIẺM TRA MÓ HĨNH PHÀN MÈM............121.1Lịch sứ phát triển...........................Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính
.......121.2Kiểm tra mò hình phần mềm...........................151.2.1 Khái niệm kiêm tra mô hĩnh ......................151.2.2Kiêm tra mô hình phan Bộ GIÁO DỤC VÀ DÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOẢ HÀ NỘILUẬN VÀN THẠC SỸ KHOA HỌCKIỂM TRA MÔ HÌNH PHẢN MỀM SỬ DỤNG LÝ THUYẾT ÔTÔMAT BUCHI VÀ LOGIC THỜI Bộ GIÁO DỤC VÀ DÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOẢ HÀ NỘILUẬN VÀN THẠC SỸ KHOA HỌCKIỂM TRA MÔ HÌNH PHẢN MỀM SỬ DỤNG LÝ THUYẾT ÔTÔMAT BUCHI VÀ LOGIC THỜIGọi ngay
Chat zalo
Facebook