Một số Luận văn cao học Công nghệ thông tin

Đềtài Luận văn Cao học CNTT năm học 2007-2008 tại ĐHBK TP HCM GVHD: TS. Nguyễn Hứa Phùng Đề1: Software Verification là kỹthuật xác định xem một phần mềm thỏa mãn các yêu cầu thiết kế. Kỹthuật này đòi hỏi xác định một phương pháp mô tảcác yêu cầu thiết kếvà một cơchếsuy diễn đểthực hiện quá trình chứng minh. Yêu cầu: Sinh viên cần có kiến thức cơbản vềlogic toán Giai đoạn làm đềcương: - Tìm hiểu lý thuyết vềsoftware verification - Tìm hiểu một sốphương pháp mô tảhiện có - Tìm hiểu các cơchếsuy diễn hiện có - Xác định phạm vi nghiên cứu Giai đoạn làm luận văn: - Phát triển một mô hình thích hợp - Hiện thực chương trình - Thửnghiệm Đề2: Plagiarism Detection là kỹthuật phát hiện sao cắp phần mềm. Kỹthuật đánh giá khảnăng trùng khớp của hai phần mềm từ đó dự đoán khảnăng sao cắp. Giai đoạn làm đềcương: - Tìm hiểu vềcác kỹthuật Plagiarism Detection hiện có - Tìm hiểu một sốphần mềm hiện có - Xác định phạm vi nghiên cứu Giai đoạn làm luận văn: - Phát triển một mô hình thích hợp - Hiện thực chương trình - Thửnghiệm