VictorJuiz/thesis huggingface dataset:
Kiến trúc và chuẩn phần mềm trên nền Web, ứng dụng xây dựng hệ thống thi trắc nghiệm
Keywords: Công nghệ phần mềm, Dịch vụ Web, Kiến trúc phần mềm, Thi trắc nghiệm

Trình bày lý thuyết kiến trúc phần mềm, kiến trúc hướng dịch vụ và dịch vụ web, kiểu kiến trúc REST. Trình bày các vấn đề về chuẩn phần mềm trên nền web: khái niệm về chuẩn web, lý do cần chuẩn web, các nguyên tắc để kiểm tra chuẩn web và các công cụ cải tiến (...)
Nghiên cứu cải tiến một số phương pháp phân loại văn bản tự động và áp dụng trong xử lý văn bản tiếng Việt
Keywords: Công nghệ thông tin, Phân loại văn bản tự động, Phần mềm, Xử lý văn bản

Tổng quan về phân loại văn bản (PLVB), các bước chính trong bài toán PLVB và một số phương pháp lựa chọn thuộc tính trong PLVB. Vấn đề biểu diễn văn bản trong PLVB dưới dạng vector thuộc tính và một số phương pháp giảm kích thước của không gian thuộc tính (...)
Kỹ thuật sinh test case tự động từ yêu cầu phần mềm
Keywords: Công nghệ phần mềm, Kỹ thuật sinh test case, Phần mềm, Tin học

Đưa ra các vấn đề cần thiết và cấp bách trong việc nghiên cứu và xây dựng một kỹ thuật sinh Test case hiệu quả từ yêu cầu người dùng. Giới thiệu tổng quan về quá trình sinh test case tự động và các phương pháp sinh Test case: Sinh Test case dựa trên đặc tả (...)
Công nghệ tác tử di động và ứng dụng trong đào tạo từ xa
Keywords: Công nghệ phần mềm, Công nghệ tác tử di động, Đào tạo từ xa

Giới thiệu các đặc trưng cơ bản, các lợi ích, các chuẩn, một số lĩnh vực ứng dụng, các vấn đề bảo mật và thách thức của tác tử di động; Trình bày các tính chất tác tử của Java, những đức tính của Java hỗ trợ thích hợp cho tác tử di động và giới thiệu về nền Aglet môi trường thực thi tác tử di động; Trình bày khái quát về đào tạo từ xa, đào tạo từ xa trên Internet, những thuận lợi và khó khăn của việc ứng dụng tác tử di động trong mô hình đào tạo từ xa cũng như các ứng dụng của tác tử di động trong lĩnh vực này
Nghiên cứu nhân bản chuyển động khuôn mặt trên các mô hình khuôn mặt 3D khác nhau
Keywords: Khuôn mặt, Nhân bản, Thiết kế đồ họa, Đồ họa ba chiều, Công nghệ thông tin

Giới thiệu một mô hình khuôn mặt 3D dựa trên hệ thống cơ đơn giản, đáp ứng được các yêu cầu: có thể tạo nên những biểu hiện khuôn mặt chân thực và đạt được hoạt ảnh thời gian thực trên những máy tính cá nhân thông thường. Trình bày cơ sở lý thuyết để xây dựng (...)
Nghiên cứu một số kỹ thuật xử lý video và ứng dụng vào xây dựng phần mềm giám sát, quản lý tự động các trang trại
Keywords: Công nghệ phần mềm, Trang trại, Video, Xử lý ảnh

Nghiên cứu tổng quan về xử lý ảnh, video, các thao tác cơ bản đối với video và ứng dụng bao gồm các bước, các khái niệm và kỹ thuật cơ bản trong xử lý ảnh, các dạng chuẩn và kiến trúc của video. Nghiên cứu và xây dựng một số kỹ thuật xử lý ảnh áp dụng (...)
Tách và nhận dạng số viết tay trong phiếu nhập dữ liệu
Keywords: Công nghệ thông tin, Dữ liệu, Nhận dạng ảnh, Xử lý ảnh

Giới thiệu về bài toán xác định dữ liệu được nhập vào form sau khi có ảnh từ máy quét. Trình bày các vấn đề liên quan đến tiền xử lý ảnh trong hệ thống: giải pháp lọc nhiễu, khử nền và nhị phân hóa thông qua giãn độ tương phản kết hợp loại bỏ nền lặp lại (..)
Môi trường phát triển phần mềm nhúng cho các thiết bị di động
Keywords: Chữ Nôm, Công nghệ phần mềm, Phần mềm nhúng, Thiết bị di động

Tổng quan về hệ thống nhúng thời gian thực. Phân tích đặc điểm khác biệt giữa phần mềm nhúng và phần mềm thông thường, từ đó đưa ra ứng dụng của hệ nhúng. Nghiên cứu hệ điều hành thời gian thực qua phân tích kiến trúc nhân RTOS, các vấn đề cơ bản của RTOS (...)
Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ Datalog
Keywords: Logic, Công nghệ thông tin, Cơ sở dữ liệu logic, Cơ sở dữ liệu suy diễn

Chương 1: Logic và cơ sở dữ liệu. Trình bày các khái niệm cơ sở của logic bậc một –ngôn ngữ nền tảng để biểu diễn một cơ sở dữ liệu logic,các tính toán bộ và tính toán miền là các hình thức hoá logic của các ngôn ngữ truy vấn các cơ sở dữ liệu quan hệ. Chương 2: Cơ sở dữ liệu suy diễn. Trình bày về ngôn ngữ các quy tắc trong cơ sở dữ liệu suy diễn, vấn đề phân chia hay tích hợp một động cơ suy diễn với một hệ quản trị cơ sở dữ liệu. Chương này cũng trình bày về ngôn ngữ Datalog, cú pháp, ngữ nghĩa, sự mở rộng của Datalog, vấn đề tính giá trị của các truy vấn Datalog cũng như vấn đề tính giá trị củacác quy tắc đệ quy
Khai phá dữ liệu phát hiện luật kết hợp và ứng dụng đối với kho dữ liệu của ngân hàng
Keywords: Dữ liệu trực tuyến, Khai phá dữ liệu, Kho dữ liệu, Ngân hàng

Tìm hiểu những nét khái quát nhất về hệ thống xử lý giao dịch trực tuyến (OLTP), Kho dữ liệu (Data warehouse) và hệ thống phân tích dữ liệu trực tuyến (OLAP). Trình bày các vấn đề chung, cơ bản nhất về Luật kết hợp, giải thuật kinh điển Apriori, khai phá luật kết hợp (...)
Nghiên cứu hệ thống giao dịch liên ngân hàng trong thanh toán ATM và một số đề xuất cải tiến
Keywords: Công nghệ thông tin, Giao dịch liên ngân hàng, Hệ thống giao dịch, Thanh toán ATM

Trình bày những phát minh trong lĩnh vực ngân hàng trước sự phát triển của khoa học kỹ thuật điện tử. Trình bày sự phát triển của hệ thống thanh toán điện tử trên thế giới, hệ thống thanh toán ATM ở Việt Nam và một số vấn đề cần giải quyết (...)
Nghiên cứu, phát triển và ứng dụng kiến trúc hướng mô hình trong công nghệ phần mềm
Keywords: Công nghệ phần mềm, Kiến trúc hướng mô hình, Quản lý tín dụng, Thiết kế hướng đối tượng

Trình bày các nguyên tắc mô hình hóa trực quan và các đặc trưng trong công nghệ hướng đối tượng. Trình bày tổng quan về kiến trúc hướng mô hình (MDA), các mô hình trong MDA, sự chuyển đổi mô hình trong MDA. Nghiên cứu phương pháp phân tích và thiết kế hướng đối tượng (...)
Hệ đa agent mở dựa trên mô hình role và tổ chức
Keywords: Công nghệ thông tin, Hệ Đa Agent, Mô hình Role, Công nghệ phần mềm, Tin học

Giới thiệu tổng quan về hệ đa agent đóng mở, các khái niệm và đặc trưng cơ bản của hệ đa agent mở. Trình bày các cách tiếp cận phát triển hệ đa agent mở, vấn đề role và mô hình tổ chức trong hệ đa agent mở. Khái quát các cách tiếp cận mô hình hóa role (...)
Phân tích thiết kế hệ chuyên gia đánh giá khả năng chi trả của khách hàng
Keywords: Công nghệ phần mềm, Công nghệ thông tin, Hệ chuyên gia, Khách hàng

Giới thiệu bài toán cho vay tín dụng bao gồm các yêu cầu đặt ra đối với bài toán, các vướng mắc khó khăn gặp phải trong quá trình đánh giá khoản vay tín dụng, phương pháp đáng giá cho vay truyền thống và ý tưởng để giải quyết bài toán thông qua phương pháp (...)
Hệ thống phân tán và ứng dụng cho hệ thống điều hành 119 của viễn thông Hải Phòng
Keywords: Công nghệ phần mềm, Hệ thống phân tán, Hệ điều hành, Viễn thông

Tổng quan về hệ thống phân tán, đặc trưng của các loại hình hệ thống phân tán và thiết kế CSDL hệ thống phân tán. Trình bày hệ quản trị CSDL Oracle và công cụ trợ giúp phát triển hệ thống phân tán. Mô tả bài toán về báo hỏng và quá trình điều hành sửa chữa (...)
Nghiên cứu mô hình tác tử tầng trung gian hỗ trợ tùy biến nội dung mạng
Keywords: Công nghệ phần mềm, Công nghệ thông tin, Mô hình tác tử, Mạng máy tính

Giới thiệu các vấn đề lý thuyết về kiến trúc phần mềm, về các mô hình ứng dụng trực tuyến. Tìm hiểu các vấn đề về nhu cầu độc lập thiết bị trong thời đại phát triển công nghệ mạng ngày nay, đồng thời nghiên cứu các kỹ thuật hỗ trợ nhận dạng thiết bị, phục vụ cho mục đích cung cấp nội dung tùy biến với khả năng thiết bị và mong muốn của người dùng. Tìm hiểu công nghệ phần mềm hướng tác tử, các framework đã và đang được phát triển để hỗ trợ cho việc phát triển ứng dụng hướng tác tử. Tìm hiểu framework JADE trong việc phát triển ứng dụng hướng tác tử. Nghiên cứu các vấn đề cơ sở hỗ trợ việc xử lý thông tin theo các thông tin về khả năng của thiết bị, nghiên cứu chuẩn CC/PP là chuẩn mô tả khả năng của thiết bị phía client. Đề xuất mô hình Agen proxy server (Máy chủ proxy sử dụng tác tử) hỗ trợ các ứng dụng trực tuyến trong việc xử lý dữ liệu ở tầng trung gian. Tiến hành xây dựng hệ thống thực nghiệm cho mô hình đề xuất
Xây dựng hệ thống kết nối thanh toán giữa ngân hàng và các công ty chứng khoán
Keywords: Công nghệ phần mềm, Công ty chứng khoán, Ngân hàng, Thanh toán

Tổng quan về vấn đề kết nối thanh toán giữa ngân hàng và các công ty chứng khoán. Giới thiệu các công nghệ sử dụng trong giải pháp xây dựng Hệ thống kết nối thanh toán, bao gồm: công nghệ WebSphere MQ của IBM, công nghệ web service và việc ứng dụng công nghệ (...)
Nghiên cứu kỹ thuật kiểm thử phần mềm và ứng dụng trên môi trường DOT NET
Keywords: Công nghệ phần mềm, Công nghệ thông tin, Kiểm thử phần mềm, Môi trường DOT

Nghiên cứu, tìm hiểu các vấn đề tổng quan về kiểm thử phần mềm: vai trò, các công cụ kiểm thử, lợi ích của kiểm thử, phương pháp, kịch bản kiểm thử, ... Nghiên cứu phương pháp và các thể loại kiểm thử phần mềm làm cơ sở để xây dựng nên các công cụ kiểm thử (...)
Nghiên cứu một số phương pháp phát hiện chuyển động trong video và ứng dụng
Keywords: Công nghệ thông tin, Phần mềm máy tính, Tin học, Video

Tổng quan cơ sở lý luận và thực tiễn về xử lý video và phát hiện đối tượng chuyển động. Nghiên cứu, phân tích và đề xuất một số hướng khắc phục các nhược điểm trong việc phát hiện, đánh dấu, phân loại các đối tượng chuyển động và tạo kho cơ sở dữ liệu mẫu. (...)
Nghiên cứu phối hợp các phương pháp nén thông tin, mã hóa thông tin, giấu thông tin để đảm bảo an toàn thông tin trong môi trường đa phương tiện
Keywords: An toàn thông tin, Giấu thông tin, Mã hoá thông tin, Nén thông tin, Đa phương tiện

Trình bày các khái niệm, tính chất, đặc điểm, ứng dụng và một số vấn đề có liên quan của các kỹ thuật nén thông tin, mã hoá thông tin và giấu tin mật. Tìm hiểu cấu trúc, đặc điểm và tính chất của các định dạng trong môi trường đa phương tiện; các kỹ thuật (...)
Hệ thống bóc tách giá cả sản phẩm tự động
Keywords: Công nghệ thông tin, Cơ sở dữ liệu, Phần mềm máy tính, Sản phẩm

Tổng quan về khai phá dữ liệu nói chung và khai thác Web nói riêng: phân loại nguồn dữ liệu Web, phân loại khai phá dữ liệu Web, các bước tiến hành khai phá nội dung Web. Trình bày cơ sở lý thuyết có liên quan đến hệ thống bóc tách giá cả sản phẩm tự động: (...)
Kho dữ liệu và ứng dụng xây dựng hệ thống dữ liệu trợ giúp quyết định về chính sách tiền tệ quốc gia
Keywords: Chính sách tiền tệ quốc gia, Công nghệ thông tin, Kho dữ liệu, Phần mềm máy tính

Hệ thống hóa cơ sở lý luận về kho dữ liệu, kho dữ liệu chuyên đề, kiến trúc thành phần của Data Warehouse, các mô hình thiết kế cơ sở dữ liệu. Giới thiệu các công cụ Oracle trợ giúp phát triển Data Warehouse, cụ thể về kiến trúc, chức năng chính, thành phần, các đối tượng, các bước sử dụng và những ưu điểm nổi bật khi sử dụng Warehouse Builder. Trình bày một số ứng dụng của Data Warehouse xây dựng hệ thống báo cáo thống kê cho ngân hàng nhà nước để đưa ra các quyết định về chính sách tiền tệ quốc gia. Tiến hành xây dựng kho dữ liệu Data Warehouse, phục vụ cho việc khai thác báo cáo. Tiến hành tổ chức khai thác báo cáo với kho dữ liệu và ứng dụng xây dựng hệ thống dữ liệu trợ giúp quyết định về chính sách tiền tệ quốc gia như: giải pháp xây dựng hệ thống; chiến lược xây dựng hệ thống; các bước xây dựng, mô hình khai thác báo cáo và cài đặt hệ thống báo cáo
Ứng dụng AGENT phần mềm trong tích hợp thông tin về phương tiện giao thông
Keywords: Công nghệ thông tin, Phương tiện giao thông, Tích hợp thông tin, Agent, Công nghệ phần mềm

Trình bày các kiến thức tổng quan về agent, các đặc trưng của agent, so sánh các công nghệ agent trên cơ sở đó đi sâu tìm hiểu và ứng dụng nền tảng Jade phục vụ cho việc cài đặt và thực thi hệ thống. Trình bày khái niệm tích hợp thông tin, nhu cầu tích hợp (...)
Công nghệ Web Service và ứng dụng để xây dựng kiến trúc hướng dịch vụ Luận văn thạc sỹ,
Keywords: Công nghệ phần mềm, Công nghệ WEB, Thiết kế hướng đối tượng, Web Service

Trình bày tổng quan về khái niệm Web service, các lợi ích mà web service đem lại cũng như đưa ra một cái nhìn chung về kiến trúc của web service. Trình bày về các công nghệ nền tảng của web service, bao gồm các công nghệ như: XML, SOAP, WSDL và UDDI (...)
Phát triển dịch vụ gia tăng trên nền tảng truyền hình di động
Keywords: Công nghệ phần mềm, Dịch vụ gia tăng, Mạng truyền thông, Truyền hình di động

Tìm hiểu dữ liệu đa phương tiện, luồng dữ liệu, các công nghệ cho truyền hình di động bao gồm truyền hình di động trên nền 3G, truyền hình số cho các thiết bị cầm tay, truyền hình quảng bá đa phương tiện. Đồng thời cũng giới thiệu công nghệ luồng dữ liệu (...)
Nghiên cứu kỹ thuật kiểm thử phần mềm trên cơ sở mô hình UML
Keywords: Công nghệ phần mềm, Công nghệ thông tin, Mô hình UML

Tổng quan về các vấn đề cơ bản của kiểm thử phần mềm, các nguyên tắc kiểm thử. Khái quát về phát triển phần mềm dựa trên cấu phần bao gồm: các khái niệm cơ bản như cấu phần, chuẩn tương tác, chuẩn kết hợp, cài đặt mô hình cấu phần, các mô hình cấu phần (...)
Xây dựng Search Engine
Keywords: Công nghệ phần mềm, Công nghệ thông tin, Cơ sở dữ liệu, Máy tìm tin

Trình bày về các thành phần của Search Engine như crawler, page repository, index, searching, ranking. Một Search Engine có thể coi là một dạng Information Retrieval (IR) là một hệ truy xuất thông tin, bao gồm các công việc như thu thập thông tin, lưu trữ (...)
Mô hình hóa trong tiến trình phát triển phần mềm và ứng dụng trong việc xây dựng hệ thống cấp giấy chứng nhận quyền sử dụng đất
Keywords: Công nghệ phần mềm, Công nghệ thông tin, Giấy chứng nhận quyền sử dụng đất, Máy tính, Tin học ứng dụng

Mô hình hóa trực quan: Sử dụng ngôn ngữ chuẩn UML (Unified Modelling Language) để mô hình hóa toàn bộ hệ thống phần mềm cần phát triển. Thu thập toàn bộ cấu trúc và hành vi của hệ thống, chỉ ra cách thức để các thành phần của hệ thống có thể kết hợp với (...)
Loại bỏ mẩu tin nhân bản thừa trong cơ sở dữ liệu quan hệ
Keywords: Công nghệ phần mềm, Công nghệ thông tin, Cơ sở dữ liệu quan hệ, Mẩu tin nhân bản thừa

Tổng quan cơ sở lý luận về cơ sở dữ liệu và lý thuyết chắc chắn, làm cơ sở cho việc xây dựng thuật toán loại bỏ mẩu tin nhân bản thừa trong cơ sở dữ liệu quan hệ. Trình bày thuật toán nhận diện bản ghi nhân bản thừa trong cơ sở dữ liệu quan hệ, dựa vào (...)
Xây dựng, đánh giá kiến trúc của phần mềm Schooltool và đánh giá khả năng ứng dụng vào Việt Nam
Keywords: Công nghệ phần mềm, Công nghệ thông tin, SCHOOLTOOL, Việt Nam

Nghiên cứu về công cụ mã nguồn mở Schooltool qua đó tài liệu hóa kiến trúc phần mềm, hướng dẫn sử dụng của Schooltool, và tìm hiểu thiết kế của Schooltool. Đánh giá khả năng áp dụng thực tiễn của Schooltool vào các trường tiểu học và THPT tại Việt Nam. Đồng thời Việt hóa, củng cố giao diện sao cho phù hợp với người dùng Việt Nam nhất
Phát triển mẫu thiết kế phần mềm và ứng dụng
Keywords: Công nghệ phần mềm, Công nghệ thông tin, Thiết kế phần mềm, Tin học

Tổng quan về mẫu thiết kế phần mềm: đưa ra khái niệm và giới thiệu nội dung các mẫu thiết kế GOF (nhóm mẫu tạo lập, nhóm mẫu cấu trúc, nhóm mẫu hành vi). Giới thiệu các nguyên lý thiết kế mẫu phần mềm: các nguyên lý thiết kế hướng đối tượng và các nguyên lý xây dựng mẫu thiết kế phần mềm. Phương pháp thiết kế mẫu phần mềm. Phát triển mẫu thiết kế và ứng dụng.
Xây dựng hệ thống báo cáo nhanh và dự báo trợ giúp ra quyết định tại Ngân hàng Đầu tư và Phát triển Việt Nam
Keywords: Công nghệ phần mềm, Hệ thống báo cáo, Kiến trúc hệ thống, Ngân hàng

Chương 1: Giới thiệu bài toán hệ thống Báo cáo nhanh và bài toán dự báo lãi suất tại Ngân hàng Đầu tư và Phát triển Việt Nam. Chương 2: Phân tích và thiết kế hệ thống Báo cáo nhanh, trong đó có phần phân tích thiết kế phần tích hợp dự báo lãi suất Ngân hàng. Phần này trình bày quá trình phân tích và thiết kế cho bài toán Báo cáo nhanh, lựa chọn phương pháp phân tích hướng đối tượng, sử dụng mô hình kiến trúc ứng dụng khách – chủ (client-server) 3 tầng trên nền Web. Chương 3: Giới thiệu về hệ thống triển khai thực nghiệm: giới thiệu một số màn hình của hệ thống triển khai thực nghiệm. Hệ thống này đã đáp ứng được các yêu cầu của bài toán và mong muốn của người sử dụng. Việc quản trị, vận hành hệ thống cũng khá đơn giản do hầu hết các công việc của báo cáo được diễn ra một cách tự động
Nghiên cứu, ứng dụng phương pháp kiến trúc và mô hình hóa hướng dịch vụ trong công nghệ phát triển phần mềm
Keywords: Công nghệ phần mềm, Công nghệ thông tin, Mô hình hóa hướng dịch vụ, Phương pháp kiến trúc

Chương 1 - Tổng quan. Chương 2 - Giới thiệu về kiến trúc hướng dịch vụ (SOA - SERVICE ORIENTED ARCHITECTURE). Chương 3 - Nghiên cứu tình huống, khung nhìn nghiệp vụ, xây dựng ứng dụng. Chương 4 - SOA và vấn đề tích hợp. Chương 5 - SOA và quản lý tiến trình nghiệp vụ. Chương 6 - Ứng dụng SOA trong quản lý nguồn nhân lực
Nghiên cứu một số mô hình đảm bảo an ninh cơ sở dữ liệu và thử nghiệm ứng dụng
Keywords: An toàn dữ liệu, Công nghệ phần mềm, Công nghệ thông tin, Cơ sở dữ liệu

Tổng quan về an ninh hệ thống thông tin: Đưa ra một số khái niệm chung về cơ sở dữ liệu (CSDL), an ninh CSDL, an ninh mạng máy tính, an ninh hệ điều hành và một số vấn đề về bảo vệ dữ liệu. Trình bày một số phương pháp bảo vệ dữ liệu như bảo mật, bảo toàn (...)
Phân tích dữ liệu phục vụ công tác quản lý đào tạo tại trường CĐSP Hưng Yên
Keywords: Công nghệ thông tin, Khai phá dữ liệu, Phân tích dữ liệu, Quản lý đào tạo

Trình bày tổng quan về khai phá dữ liệu, bao gồm: một số khái niệm cơ bản về dữ liệu, khai phá dữ liệu, luật kết hợp, phân tích dữ liệu trực tuyến. Đặc biệt đã trình bày được các thuật toán Apriori, FP-growth để tìm tập phổ biến từ đó sinh các luật kết hợp (...)
Ước lượng dự án trên cơ sở các ca sử dụng
Keywords: Công nghệ phần mềm, Dự án, Phần mềm hướng đối tượng

Trình bày tổng quan về ước lượng dự án phần mềm. Trình bày một số phương pháp ước lượng dự án phần mềm truyền thống, đặc biệt là phương pháp COCOMO. Trình bày phương pháp ước lượng dự án “điểm ca sử dụng”, dành riêng cho các dự án phần mềm phát triển hướng (...)
Phát triển hệ quản trị quan hệ khách hàng của doanh nghiệp dựa trên mô hình UML
Keywords: Công nghệ thông tin, Công nghệ phần mềm, Hệ quản trị, Doanh Nghiệp

Mô hình hóa phần mềm dựa trên UML: trình bày một số vấn đề của lý thuyết ngôn ngữ mô hình hóa UML và việc mô hình hóa phần mềm dựa trên UML. Tổng quan về bài toán quản trị quan hệ khách hàng: giới thiệu về bài toán quản trị quan hệ khách hàng, hiện trạng ứng dụng và triển khai CRM trong các doanh nghiệp tại Việt Nam; đưa ra chức năng và mô hình hệ thống của CRM. Mô hình hóa phân hệ quản lý khách hàng với UML: mô tả hoạt động nghiệp vụ của phân hệ quản lý khách hàng, phân tích và vẽ biểu đồ chi tiết các mô hình ca sử dụng như mô hình ca sử dụng quản lý tổ chức, mô hình ca sử dụng quản lý hợp đồng/dự án, mô hình ca sử dụng quản lý tiềm năng, mô hình ca sử dụng quản lý cơ hội… Mô hình hóa phân hệ bán hàng với UML: trình bày một phân hệ thuộc hệ thống CRM là phân hệ quản lý bán hàng; mô tả hoạt động nghiệp vụ của mua bán hàng hóa giữa doanh nghiệp và khách hàng, giữa doanh nghiệp và nhà cung cấp; đưa ra mô hình phân tích và biểu đồ chi tiết các mô hình ca sử dụng như mô hình ca sử dụng bán hàng, mô hình ca sử dụng mua hàng từ các nhà cung cấp, mô hình ca sử dụng bảo hành sản phẩm cho khách hàng. Trình bày nội dung thử nghiệm và các kết quả thử nghiệm đạt được
Nghiên cứu về chứng minh tự động (Theorem Proving) trong CafeOBJ
Keywords: Ngôn ngữ lập trình, Phần mềm, Hệ thống đa tác tử

Chương 1: Giới thiệu. Chương 2: Tổng quan về ngôn ngữ CafeOBJ, kỹ thuật đặc tả và kiểm chứng phần mềm bằng phương pháp hình thức được sử dụng trong CafeOBJ. Chương 3: Đặc tả hệ thống đa tác tử và các thuộc tính. Chương 4: Mổ tả về phương pháp kiểm chứng hệ (...)
Nghiên cứu kiểm thử bao phủ phần mềm và ứng dụng
Keywords: Kiểm thử phần mềm, Công nghệ phần mềm, Máy trạng thái

Chương 1: Tổng quan về kiểm thử phần mềm. Chương 2: Kiểm thử phần mềm hướng đối tượng. Chương 3: Kiểm thử bao phủ phần mềm. Chương 4: Máy trạng thái và kiểm thử bao phủ máy trạng thái
Xây dựng công cụ ước lượng chi phí phát triển phần mềm dựa trên CBR và thử nghiệm ở Công ty Honda Việt Nam
Keywords: Công cụ ước lượng chi phí, Phát triển phần mềm, Phương pháp ước lượng, Công nghệ phần mềm

Chương 1: Giới thiệu. Chương 2: Quy trình ước lượng chi phí phát triển phần mềm: Mô tả chi tiết các bước của quy trình ước lượng chi phí phát triển phần mềm và một số phương pháp ước lượng thường sử dụng. Chương 3: Phương pháp lập luận dựa trên kinh nghiệm (...)
Xây dựng ngôn ngữ mẫu cho lập trình dựa trên thành phần :
Keywords: Công nghệ phần mềm, Công nghệ thông tin, Mô hình thành phần, Ngôn ngữ mẫu

Phân tích một số vấn đề của công nghệ phần mềm dựa trên thành phần như: mô hình vòng đời tiến trình dựa trên thành phần, chế tạo thành phần, kết hợp các thành phần, phân tích và thiết kế cho việc dùng lại thành phần, phân loại và tìm kiếm thành phần (...)
Kỹ thuật kiểm thử đột biến và ứng dụng để kiểm thử các chương trình Java
Keywords: Phần mềm, Kỹ thuật kiếm thử đột biến, Chương trình Java

Chương 1: Trình bày tổng quan về kiểm thử phần mềm như khái niệm kiểm thử phần mềm, mục đích, mục tiêu và các mức kiểm thử phần mềm; đề cập đến việc sử dụng các kỹ thuật kiểm thử hộp trắng và hộp đen để thiết kế dữ liệu thử. Chương 2: Mô tả chi tiết các thành phần chính của kỹ thuật kiểm thử đột biến, giới thiệu các giả thuyết cơ bản cần thiết để thực hiện phương pháp này. Chương 3: Giới thiệu các phương pháp cải tiến kỹ thuật kiểm thử đột biến nhằm giảm chi phí tính toán và tăng tự động hóa. Chương 4: Tập trung vào ứng dụng kỹ thuật kiểm thử đột biến.
Nghiên cứu phương pháp lập trình cực hạn áp dụng cho các dự án thuê ngoài.
Keywords: Phương pháp lập trình, Dự án thuê ngoài, Công nghệ phần mềm, Công nghệ thông tin

Tình bày khái niệm về phương pháp lập trình cực hạn; Các nguyên tắc của XP; Phương pháp thực hành; Vòng đời phương pháp phát triển XP và đội dự án XP. Nghiên cứu dịch vụ thuê ngoài, tổ chức phát triển phần mềm thuê ngoài với XP cũng như quản lý cấu hình (...)
Kiểm chứng sự tuân thủ giữa đặc tả điều khiển truy cập và cài đặt
Keywords: Cài đặt, Điều khiển, Công nghệ phần mềm, Công nghệ thông tin

Chương 1 : Giới thiệu chung về điều khiển truy cập. Mục đích, các thành phần cơ bản và quá trình hình thành và phát triển của điều khiển truy cập. Chương 2 : Khái quát về mô hình điều khiển truy cập trừu tượng. Các thành phần cơ bản của một mô hình điều khiển truy cập trừu tượng, các nguyên tắc cần tuân theo khi thiết kế an toàn. Chương 3: Mô tả cấu trúc của mô hình điều khiển truy cập RBAC.
Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình
Keywords: Công nghệ phần mềm, Dữ liệu, Kiểm chứng mô hình, Phần mềm

Trình bày cơ sở lý luận về kiểm định phần mềm và các nhóm kiểm định phần mềm. Giới thiêu về JPF, kiến trúc của JPF, cách mở rộng, phát triển trên JPF. Ngoài ra giới thiệu về thực thi tượng trưng để sinh dữ liệu kiểm thử cho chương trình trong JPF cũng như cho phép sinh tự động dữ liệu kiểm thử chương trình Java. Tìm hiểu về SMT, Z3, các lý thuyết được hỗ trợ trên Z3, các API của Z3 để tích hợp với JPF và ứng dụng của Z3. Nghiên cứu, đánh giá các giải pháp như: Kiến trúc hệ thống, chuyển đổi dữ liệu, thiết kế và cài đặt.
Xây dựng ứng dụng OCR cho thiết bị iPhone
Keywords: Công nghệ thông tin, Công nghệ phần mềm, Thiết bị di động

Tổng quan về OCR và ứng dụng OCR. Nghiên cứu, làm rõ kiến trúc của bộ thư viện mã nguồn mở Teseract. Đây là bộ thư viện mã nguồn mở có độ chính xác tốt và có thể hoạt động trên nhiều nền tảng hệ điều hành khác nhau. Đi sâu vào việc tìm hiểu kiến trúc của (...)
Tìm hiểu mô hình miền chuyên biệt và ứng dụng vào bài toán chuyển đổi dữ liệu cước
Keywords: Phương tiện truyền thông, Chuyển đổi dữ liệu, Công nghệ thông tin, Công nghệ phần mềm

Chương 1 tập trung tìm hiểu khái niệm và lợi ích khi sử dụng mô hình miền chuyên biệt. Chương 2 trình bày về một tiếp cận mô hình chuyên biệt miền bằng công cụ Microsoft DSL. Chương 3 minh họa việc ứng dụng mô hình chuyên biệt miền trong thiết kế bài toán chuyển đổi dữ liệu cước.