tailieunhanh - Luận vă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

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI ------------------------------- LUẬN VĂN THẠC SỸ KHOA HỌC 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 NGÀNH: CÔNG NGHỆ THÔNG TIN MÃ SỐ: PHẠM THỊ THÁI NINH Người hướng dẫn khoa học: TS. HUỲNH QUYẾT THẮNG HÀ NỘI 2006 1 LỜI CẢM ƠN Trước hết tôi xin gửi lời cảm ơn đặ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 chỉ bảo tôi trong suốt quá trình thực hiện bản luận văn cao học này,. | BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HọC BÁCH KHOA HÀ NỘI LUẬN VĂN thạc SỸ khoa học 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 NGÀNH công nghệ thông tin MÃ SỐ phạm thị thái ninh Người hướng dẫn khoa học TS. huỳnh quyết thắng hà nội 2006 1 LỜI CẢM ƠN Trước hết tôi xin gửi lời cảm ơn đặ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 chỉ bảo tôi trong suốt quá trình thực hiện bả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àn tất bả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 đại học và các thầy cô giáo trong khoa Công nghệ thông tin trường Đại học Bách Khoa Hà Nội đã cho tôi nhiều kiến thức quý báu về các vấn đề hiện đại của ngành công nghệ thông tin cho tôi một môi trường tập 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 bạn bè các đồng nghiệp đã động viên tôi trong suốt thời gian thực hiện bản 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 những người đã 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. Hà nội tháng 11 năm 2006 Tác giả Phạm Thị Thái .