TAILIEUCHUNG - 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 .

• Công nghệ thông tin
• Kiểm tra mô hình phần mềm
• logic thời gian tuyến tính
• lý thuyết Ôtômat Buchi
• Kiểm định chất lượng phần mềm
• Đảm bảo chất lượng phần mềm
• Mô hình kiểm tra phần mềm TMM
• Quản lý chất lượng phần mềm
• Cấu trúc của CMM
• Quản lý cấu hình phần mềm
• Mô phỏng quá trình tách bụi
• Quá trình tách bụi
• Mô hình cyclone
• Phần mềm Solidworks Simulation
• Ô nhiễm môi trường không khí
• Bài viết nghiên cứu khoa học của sinh viên
• Hướng dẫn vẽ Cyclone 3D
• Bài giảng Đặc tả hình thức
• Đặc tả hình thức
• Hệ thống phần mềm
• Lỗi phần mềm
• Ngôn ngữ và hệ thống
• Các ngôn ngữ đặc tả
• Kiểm tra mô hình
• Môn học CAD/CAM/CNC
• Câu hỏi kiểm tra CAD/CAM/CNC
• Đề thi môn CAD/CAM/CNC
• Phần mềm CAD/CAM
• Kỹ thuật Voxel
• Mô hình gia công
• Tiêu chuẩn chuyển đổi dữ liệu
• Luận văn Thạc sĩ
• Nghiên cứu mô hình PCFGs
• Ngôn ngữ AIML
• Xây dựng chatbot hỗ trợ học tiếng Anh
• Phần mềm hỗ trợ học tiếng Anh
• Bài toán kiểm tra ngữ pháp