• Khóa luận Chuyển đổi đặc tả uml với ocl sang đặc tả AlloyKhóa luận Chuyển đổi đặc tả uml với ocl sang đặc tả Alloy

    UML[1] là ngôn ngữ được sử dụng phổ biến nhất trong ngành công nghiệp phần mềm vì tính dễ hiểu, trực quan và dễ thể hiện bằng công cụ. Trong những năm gần đây, OCL[5] được phát triển với mục đích là ngôn ngữ mô tả các ràng buộc cho các yếu tố mô hình UML[1] để mô hình UML[1] có ngữ nghĩa chặt chẽ hơn. Cho đến nay, để kiểm tra các ràng buộc c...

    pdf51 trang | Chia sẻ: lvbuiluyen | Ngày: 17/11/2013 | Lượt xem: 2231 | Lượt tải: 2

  • Đề tài Quản lý và tra cứu gia phảĐề tài Quản lý và tra cứu gia phả

    Hiện nay với bánh xe của thời gian với vận tốc không ngừng cùng với vòng quay của trái đất nơi mà con người chúng ta đang sinh sống và tạo dựng chúng ngày càng tươi đẹp và phồn vinh. Trải qua nhiều thế hệ con người đã không ngừng phát triển và tạo dựng nền móng văn minh cho nhân loại. Chúng ta thường nhớ về cha ông ta đã từng một thời dựng ...

    pdf25 trang | Chia sẻ: lvbuiluyen | Ngày: 17/11/2013 | Lượt xem: 3873 | Lượt tải: 1

  • Khóa luận Kiểm thử phần mềm nhúngKhóa luận Kiểm thử phần mềm nhúng

    Các hệthống nhúng ngày nay rất phát triển với những ứng dụng rộng rãi trong nhiều lĩnh vực công nghiệp và đời sống, đâu đâu ta cũng bắt gặp các ứng dụng của hệthống nhúng, từnhững thiết bịnhỏnhư điện thoại, máy nghe nhạc đến các hệthống phức tạp nhưô tô, máy móc công nghiệp. Trong phát triển phần mềm nhúng, khâu kiểm thửcó vai trò quan trọn...

    pdf61 trang | Chia sẻ: lvbuiluyen | Ngày: 17/11/2013 | Lượt xem: 3377 | Lượt tải: 1

  • Phân tích và thiết kế hệ thống thông tin - Đề tài: Quản lư điểm sinh viênPhân tích và thiết kế hệ thống thông tin - Đề tài: Quản lư điểm sinh viên

    Ở Việt Nam, máy tính điện tử, chủ yếu là máy vi tính đă và đang xuất hiện ngày càng nhiều trong các xí nghiệp, doanh nghiệp, các cơ quan hành chính xă hội., ngày càng thâm nhập vào hầu khắp các mặt hoạt động của nền kinh tế quốc dân. Tuy nhiên, máy tính điện tử chỉ mới phục vụ công việc văn pḥng như soạn thảo văn bản là chính mà chưa thực s...

    pdf18 trang | Chia sẻ: lvbuiluyen | Ngày: 17/11/2013 | Lượt xem: 2903 | Lượt tải: 1

  • Bài tập lớn môn Phân tích và Thiết kế hệ thống thông tin - Đề bài: Quản lí điểmBài tập lớn môn Phân tích và Thiết kế hệ thống thông tin - Đề bài: Quản lí điểm

    Trước kia, để “Quản lý điểm” thì người ta tốn không ít công sức để nhập điểm, cộng điểm một cách rất thủ công mà không mang tính Khoa Học dẫn đến tính toán điểm có thể bị sai, nhầm gây không ít những phiền hà cho người sử dụng. Ngày nay, khi “Kỷ Nguyên Số” phát triển mạnh thì không thể không nhắc đến ngành “Công Nghệ Thông Tin” với những tín...

    pdf24 trang | Chia sẻ: lvbuiluyen | Ngày: 17/11/2013 | Lượt xem: 7530 | Lượt tải: 2

  • Khóa luận Xây dựng dịch vụ web học từ vựngKhóa luận Xây dựng dịch vụ web học từ vựng

    Học từ vựng là một vấn đề lớn đối với nhiều người. Học theo cách truyền thống là sử dụng từ điển đơn thuần thường không hiệu quả. Hệ thống học từ vựng là một tiện ích giúp mọi người tăng khả năng ngoại ngữ. Những tính năng rất đơn giản mà hiệu quả, tra từ nhanh chóng, học từ theo một từ điển tự chọn, phát âm chuẩn, hình ảnh gần với từ cần h...

    pdf62 trang | Chia sẻ: lvbuiluyen | Ngày: 17/11/2013 | Lượt xem: 1833 | Lượt tải: 1

  • Đề tài Chương trình thi trắc nghiệm qua mạngĐề tài Chương trình thi trắc nghiệm qua mạng

    Chương trình được thiết kế như một trang web với mục đích cho sinh viên khoa Toán –Tin học thi cuối học kì bằng phương pháp trắc nghiệm qua mạng. Chương trình bao gồm hai phân quyền sử dụng là quyền quản trị mạng và quyền người dùng (thí sinh). - Quyền quản trị: bao gồm các quyền thêm, xóa, cập nhật các thông tin về bộ đề thi, môn thi và c...

    pdf30 trang | Chia sẻ: lvbuiluyen | Ngày: 17/11/2013 | Lượt xem: 2122 | Lượt tải: 3

  • Đề tài Quản lý đề thi tốt nghiệpĐề tài Quản lý đề thi tốt nghiệp

    Ô xử lý: 1.1 DDL vào: MSSV, TenSV, DC,SDT,Khoa DDL ra: Truyền thông tin cho ô 1.1.1 và ô 1.1.2 Diễn giải ô xử lý: Nhập thông tin của sinh viên mới Tóm tắt: + Nếu sinh viên tồn tại thì xử lý ô 1.1.1 + Nếu không, xử lý ô 1.1.2

    pdf45 trang | Chia sẻ: lvbuiluyen | Ngày: 17/11/2013 | Lượt xem: 2010 | Lượt tải: 1

  • Đề tài Khảo sát, phân tích và thiết kế chương trình tổ chức và quản lý danh bạ điện thoại cá nhânĐề tài Khảo sát, phân tích và thiết kế chương trình tổ chức và quản lý danh bạ điện thoại cá nhân

    Trong thời đại kinh tế xã hội hiện nay, thông tin liên lạc đã trở thành nhu cầu không thể thiếu đối với các hoạt động của con người như giao tiếp kinh doanh , bạn bè và quan hệ xã hội . Và một loại phương tiện thông tin liên lạc mà chúng ta không thể không nói đến đó là điện thoại. Nó đã trở thành phương ti ện thông tin liên lạc phổ biến và...

    pdf27 trang | Chia sẻ: lvbuiluyen | Ngày: 17/11/2013 | Lượt xem: 2076 | Lượt tải: 5

  • Đề tài Quản lý chuyến bay của một sân bayĐề tài Quản lý chuyến bay của một sân bay

    Tân Sơn Nhất là một sân bay thuộc tầm quốc tế ở Việt Nam. Trong những năm vừa qua đã xây thêm cảng để tách cảng nội địa và quốc tế ra riêng biệt vì vậy để đảm bảo phục vụ tổt cho khách hang ban điều hành đã ra quyết định hòan thiện quản lý như thêm các chuyến bay, thiết lập một hệ thống quản lý tốt hơn, cung cách phục vụ sẽ chu đáo hơn, T...

    pdf88 trang | Chia sẻ: lvbuiluyen | Ngày: 17/11/2013 | Lượt xem: 2272 | Lượt tải: 1