• Đề tài Kiểm tra sự tinh chế hai mô hình có áp dụng mẫu thiết kếĐề tài Kiểm tra sự tinh chế hai mô hình có áp dụng mẫu thiết kế

    Nội dung chính của bài khóa luận “Kiểm tra sự tinh chế hai mô hình có áp dụng mẫu thiết kế” có thể được trình bày ngắn gọn qua các vấn đề sau: - Tìm hiểu về khái niệm và vai trò của Mẫu thiết kế (design pattern) nói chung và mẫu thiết kế hợp nhất nói chúng cũng như việc áp dụng mẫu thiết kế hợp nhất (union design pattern) - Thực hiện chuyển...

    pdf58 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 1941 | Lượt tải: 3

  • Đề tà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Đề tà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

    Với sựphát triển nhanh tột bậc của lĩnh vực công nghệthông tin và truyền thông trên cảcác hệthống phần cứng và phần mềm, khảnăng xảy ra nhiều lỗi, đặc biệt là các lỗi tinh vi là rất cao. Những lỗi này có thểgây ra những hậu quảnghiêm trọng vềtiền bạc, thời gian, thậm chí cuộc sống của con người. Nhìn chung, một lỗi càng sớm được phát hiện s...

    pdf102 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2003 | Lượt tải: 4

  • Đề tài Kiểm lỗi chính tả tiếng việtĐề tài Kiểm lỗi chính tả tiếng việt

    Hiện nay, vấn đềkiểm lỗi chính tảvăn bản tựđộng là một vấn đềđược rất nhiều cá nhân, đơn vịtrên thếgiới nghiên cứu và triển khai. Với tiếng Việt, hiện cũng có không ít công trình nghiên cứu và sản phẩm giải quyết bài toàn này, tuy nhiên các chương trình kiểm lỗi chính tảcảm ngữcảnh tiếng Việt còn rất ít, và đặc biệt là chưa có chương trình ...

    pdf39 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2773 | Lượt tải: 1

  • Đề tài Kiểm chứng mô hình phần mềm sử dụng nusmvĐề tài Kiểm chứng mô hình phần mềm sử dụng nusmv

    Kiểm chứng mô hình (model checking) làmột hướng tiếp cận hiệu quả cho việc đảm bảo chất lượng phần mềm.Kĩ thuật này được áp dụng để chứng minh một cách tự động tính đúng đắn của phần mềm hoặc chỉ ra tại sao phần mềm không chạy đúng thông qua phản ví dụ. Hiện nay có rất nhiều công cụ kiểm chứngmô hìnhphần mềm như NuSMV, SPIN, KRONOS . Khóa ...

    pdf45 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 1996 | Lượt tải: 1

  • Đề tài Kiểm chứng mô hình aspect-uml bằng alloyĐề tài Kiểm chứng mô hình aspect-uml bằng alloy

    Ngày nay, công nghệthông tin ngày càng phát triển và được ứng dụng vào tất cả các lĩnh vực của cuộc sống xã hội. Nó tạo ra một diện mạo mới cho xã hội và nhờđó nền văn minh nhân loại được nâng lên một tầm cao mới. Công nghệphần mềm là một phần không thểtách rời trong công nghệthông tin. Hiện nay ngành công nghệphần mềm trên thếgiới đã và đan...

    pdf41 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 1874 | Lượt tải: 0

  • Đề tài Kiểm chứng cơ chế bảo mật dựa trên astĐề tài Kiểm chứng cơ chế bảo mật dựa trên ast

    Từ trước đến nay, bảo mật thông tin luôn chiếm một vai trò rất quan trọng của một tổ chức, công tyhay quốc gia. Trong Công nghệ thông tin vấn đề bảo mật được chú trọng và quan tâm một cách nghiêm túc. Đã có rất nhiều cơ chế bảo mật được đưa ra và thích hợp cho từng lĩnh vực riêng. Khóa luận tập trung nghiên cứu cácvấn đề liên quan đến kiểm c...

    pdf81 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 1908 | Lượt tải: 1

  • Đề tài Kiểm chứng cài đặt biểu đồ tương tác với uml 2.0Đề tài Kiểm chứng cài đặt biểu đồ tương tác với uml 2.0

    Phần mềm ngày càng được xây dựng và phát triển mạnh mẽ. Phần mềm được tạo ra phải đảm bảo chất lượng. Kiểm chứng phần mềm là một trong những giai đoạn quan trọng trong quy trình sản xuất phần mềm. Kiểm chứng động phần mềm nhằm phát hiện và tìm lỗi trong giai đoạn kiểm thử phần mềm. Phương pháp lập trình hướng khía cạnh (Aspect Oriented prog...

    pdf56 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 1941 | Lượt tải: 0

  • Đề tài Khảo Sát Hệ Thống WiMAXĐề tài Khảo Sát Hệ Thống WiMAX

    Được coi như một động lực chính đẩy nhanh tốc độ phổ cập internet và xoá nhoà khoảng cách số giữa thành thị và nông thôn, WiMAX - công nghệ kết nối băng thông rộng không dây đã trở thành tâm điểm chú ý của cả thế giới. Ngay từ khi vừa ra mắt, WiMAX đã gây một sự chú ý lớn đối với giới viễn thông. Với 3 ưu thế chính: tốc độ đường truyền cao, ...

    pdf92 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2246 | Lượt tải: 1

  • Đề tài Hỗ trợ phát hiện và thông báo ùn tắc giao thông trên AndroidĐề tài Hỗ trợ phát hiện và thông báo ùn tắc giao thông trên Android

    Hiện nay, dị ch vụ Google Maps đã cung cấp dị ch vụ thông tin giao thông qua bản đồ cho nhiều thành phố lớn trên thế giới. Ở Việt Nam, mặc dù vấn đề ùn tắc giao thông đang rất câp thiết nhƣng chƣa có d ị ch vụ nào tƣơng tự. Em xin đề xuất chủ đề khóa luận là “Hỗ trợ phát hiệ n và thông báo ùn tắc giao thông trên Android”. Mục tiêu của khóa l...

    pdf59 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2108 | Lượt tải: 1

  • Đề tài Hệ thống tư vấn website cho máy tìm kiếm dựa trên khai phá query logĐề tài Hệ thống tư vấn website cho máy tìm kiếm dựa trên khai phá query log

    Hệ tư vấn (recommender system) đã trở thành một trong những lĩnh vực nghiên cứu quan trọng kể từ khi bài báo đầu tiên về lọc cộng tác (collaborative filtering) xuất hiện vào giữa những năm 1990. Hiện nay, sự quan tâm đối với hệ tư vấn đang rất cao vì sự cần thiết của những ứng dụng có thể giúp người dùng xử lý với tình trạng quá tải thông ti...

    pdf55 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 1993 | Lượt tải: 2