- Dissertation
Tác giả : Lê, Minh Đức; Người hướng dẫn: Nguyễn, Việt Hà (2020) - Propose an aDSL, named domain class specification language (DCSL), which consists in a set of annotations that express the essential structural constraints and the
essential behaviour of a domain class. The design features were carefully selected from a number of authoritative software and system engineering resources and show
that they form a minimum design space of the domain class.Propose a unified domain modelling approach, which uses DCSL to express both the structural and behavioural modelling elements. The dissertation chooses the UML activity diagram language for behavioural modelling and discusses how the domain-specific constructs of this language are expressed in DCSL....
|
- Thesis
Tác giả : Bùi, Phi Điệp; Người hướng dẫn: Nguyễn, Việt Hà; Mohamed, Faouzi Atig (2014) - Model-checking is a well-known technique for the program verification problem (i.e.,
checking that the program satisfies a given property). However, Model-checking su
↵
ers
the state-space explosion problem. This is more visible in the the case of concurrent /
parallel programs. Therefore, developing new e
|
- Thesis
Tác giả : Vũ, Thị Đào; Người hướng dẫn: Nguyễn, Việt Hà (2018) - Đề xuất một quy trình sinh dữ liệu kiểm thử từ biểu đồ tuần tự UML 2.0 và các ràng buộc OCL. Biểu đồ tuần tự UML 2.0 được áp dụng cho tất cả mười hai toán tử, có cấu trúc phức tạp, các khối lồng ghép nhau. Quá trình sinh dữ liệu kiểm thử tự động được áp dụng cho các biến số và cấu trúc động. Các kịch bản và dữ liệu kiểm thử được sinh ra có thể chuyển thủ công thành các đoạn mã kiểm thử (test script) và thực hiện tự động dựa trên các công cụ kiểm thử. Công cụ đã được cài đặt thực thi với các hệ thống cụ thể và đưa ra các kết quả để minh chứng tính hiệu quả và chính xác của phương pháp đề xuất. Các kết quả thực nghiệm chỉ ra rằng phương pháp đề xuất sinh ra dữ liệu kiểm thử có độ bao ph...
|
- Research project
Tác giả : Nguyễn, Việt Hà (2015) - 1
|
- Thesis
Tác giả : Nguyễn, Thị Tâm; Người hướng dẫn: Nguyễn, Việt Hà (2007) - Tổng quan về E-learning: khái niệm, lịch sử phát triển, những đặc điểm chính và các đặc tả trong E-learning. Trình bày kiến trúc hệ thống trong E-learning: kiến trúc tổng quát và kiến trúc hệ thống E-learning hiện đại. Giới thiệu chuẩn biểu diễn bài giảng (...)
|
- Thesis
Tác giả : Nguyễn, Thị Tâm; Người hướng dẫn: Nguyễn, Việt Hà (2007) - Tổng quan về E-learning: khái niệm, lịch sử phát triển, những đặc điểm chính và các đặc tả trong E-learning. Trình bày kiến trúc hệ thống trong E-learning: kiến trúc tổng quát và kiến trúc hệ thống E-learning hiện đại. Giới thiệu chuẩn biểu diễn bài giảng trong E-learning và chuẩn trong SCORM gồm: mô hình đóng gói nội dung của SCORM - SCORM CAM, môi trường thực thi của SCORM - SCORM RTE, tuần tự và điều hướng bài giảng trong SCORM - SCORM SN. Trình bày mô hình chia sẻ dữ liệu động giữa các hệ LMS. Khảo sát thực nghiệm và rút ra những kết quả đạt được về hệ thống E-learning
|
- Thesis
Tác giả : Nguyễn, Thị Bình Giang; Người hướng dẫn: Nguyễn, Việt Hà (2009) - Luận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2009; 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. Giới (...); Electronic Resources
|
- Article
Tác giả : Vũ, Quang Dũng; Nguyễn, Việt Hà; Tô, Văn Khanh (2007) - In designing embedded systems, the exploration and synthesis of different design alternatives and co-verification of a specific implementation are the most demanding tasks. Kaffe, an open-source technology, provides a platform for building a runtime environment and integrating different design methodologies. Integrating Kaffe into embedded systems is the cornerstone of java-like technologies, allowing possibilities such as the development of portable programs on mobile devices. In this paper, we introduce a co-design environment based on Kaffe which supports the specification and prototyping of dynamically reconfigurable embedded systems.
|
- Book
Tác giả : Trần, Thị Minh Châu; Nguyễn, Việt Hà (2016) - Giáo trình này cung cấp cho sinh viên các kiến thức từ cơ bản cho đến một số kỹ thuật nâng cao về phương pháp lập trình hướng đối tượng.
|
- Thesis
Tác giả : Nguyễn, Ngọc Định; Người hướng dẫn: Nguyễn, Việt Hà (2008) - Trình bày khái niệm cơ bản về agent, phân loại agent và phân loại hệ thống agent. Nghiên cứu cách tiếp cận hướng agent trong công nghệ phần mềm, so sánh hướng agent với hướng đối tượng và phần mềm đóng gói, vòng đời phát triển của phần mềm hướng agent. Ngh (...)
|
- Thesis
Tác giả : Nguyễn, Ngọc Đinh; Người hướng dẫn: Nguyễn, Việt Hà (2008) - Trình bày khái niệm cơ bản về agent, phân loại agent và phân loại hệ thống agent. Nghiên cứu cách tiếp cận hướng agent trong công nghệ phần mềm, so sánh hướng agent với hướng đối tượng và phần mềm đóng gói, vòng đời phát triển của phần mềm hướng agent. Nghiên cứu phương pháp thiết kế và phát triển hệ thống đa agent Passi - tập trung phân tích việc xác định các agent, vai trò và các tác vụ, mô tả Ontology, định nghĩa cấu trúc đa agent và cấu trúc của từng agent, mô tả các hành vi trong hệ thống đa agent, mô hình mã chương trình và mô hình triển khai. Nghiên cứu xây dựng hệ thống lọc và sắp xếp tin tức theo ngữ cảnh người dùng dựa trên các mô tả bài toán, mô hình xã hội các agent, mô hì...
|
- Thesis
Tác giả : Nguyễn, Trọng Khánh; Người hướng dẫn: Phạm, Ngọc Hùng; Nguyễn, Việt Hà (2015) - Luận văn này đề xuất một hướng tiếp cận thời gian thực mới nhằm giải quyết những giới hạn của hướng tiếp cận thời gian thực như đã mô tả ở trên. Hướng tiếp cận của đề xuất tính toán tài nguyên sử dụng trung bình của chương trình dựa trên ữ liệu đầu vào thay vì dự đoán thời gian chạy thực của chương trình một cách thiếu chọn lọc. So sánh với những hướng tiếp cận thời gian thực khác, hướng tiếp cận nàycó thể hỗ trợ nhiều mô hình toán học và có thời gian thực thi nhanh hơn. Cụ thể hơn, hướng tiếp cận của nghiên cứu này gồm hai thành phần chính.Thành phần đầu tiên là những công cụ đo đạc (monitor instrumentation) và thành phần thứ hai là để xây dựng mô hình toán học tương đương (model ons...
|
- Thesis
Tác giả : Trịnh, Thanh Bình; Người hướng dẫn: Nguyễn, Việt Hà; Nguyễn, Ngọc Bình (2011) - Trong các hệ thống tương tranh và chia sẻ các tài nguyên dùng chung sự tranh chấp tài nguyên và thứ tự thực hiện có thể gây nhiều vấn đề, ví dụ như các kết quả không nhất quán trong mỗi lần thực thi. Luận án đã đề xuất các phương pháp để kiểm chứng sự đúng (...)
|
- Other
Tác giả : Trương, Anh Hoàng; Trương, Thị Thuận; Nguyễn, Việt Hà; Trịnh, Thanh Bình; Đặng, Văn Hưng; Nguyễn, Thị Thu Trang (2009) - Nghiên cứu ngữ nghĩa chuẩn của các biểu đồ tuần tự trong UML. Phương pháp phân tích và đọc định dạng XMI của các biểu đồ UML để trích ra các thông tin ngữ nghĩa và biến chúng thành các máy trạng thái xác định để kiểm chứng được thuận tiện. Nghiên cứu lập trình hướng khía cạnh và cài đặt chức năng kiểm chứng tự động các dãy lời gọi xem chúng có tuân thủ đặc tả hay không. Kết quả nghiên cứu là Thư viện đọc file XMI chứa các biểu đồ tuần tự theo chuẩn UML 2.0. Chương trình phát hiện các lỗi không tuân thủ đặc tả biểu đồ tuần tự UML 2.0 của chương trình. Cài đặt phương pháp kiểm tra tự động dựa trên AOP
|
- Thesis
Tác giả : Hoàng, Mạnh Khôi; Nguyễn, Việt Hà (2012) - Trình bày cơ sở lý luận về kiểm chứng. Trình bày các khái niệm cơ bản liên
quan như các khái niệm về mô hình chuyển trạng thái được gán nhãn Hệ chuyển trạng
thái gán nhãn (LTS), các phương pháp biểu diễn LTS, khái niệm về trừu tượng hóa
hành vi của hệ thống Trìu tượng hóa thủ tục (PA), cũng như các khái niệm cần thiết
trong kĩ thuật kiểm chứng … Trình bày nội dung chính c ủa Kiểm thử từng phần cho
chương trình C: nêu cách xây dựng mô hình LTS biểu diễn hành vi của hệ thống từ mã
nguồn bắt đầu bằng việc xây dựng sơ đồ luồng xử lý Otomat luồng điều khiển (CFA);
sơ đồ luồng xử lý mở rộng (Expanding Control flow Automata) của c hương trình có
sử dụng các LTS giả thiết; giớ...
|
- Thesis
Tác giả : Hoàng, Mạnh Khôi; Người hướng dẫn: Nguyễn, Việt Hà (2012) - Luận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2012; Trình bày cơ sở lý luận về kiểm chứng. Trình bày các khái niệm về mô hình chuyển trạng thái được gán nhãn LTS, các phương pháp biểu diễn LTS, khái niệm về trừu tượng hóa hành vi của hệ thống PA cũng như các khái niệm cần thiết trong kỹ thuật kiểm chứng. Nêu cách xây dựng mô hình LTS biểu diễn hành vi của hệ thống từ mã nguồn, giới thiệu phương pháp trừu tượng mệnh đề để xây dựng mô hình LTS biểu diễn hành vi của mã nguồn từ sơ đồ luồng xử lý mở rộng.
|
- Đề tài nghiên cứu khoa học
Tác giả : Trương, Ninh Thuận; Nguyễn, Việt Hà; Vũ, Quang Dũng; Trương, Anh Hoàng (2010) - Đặc tả cơ chế bảo mật (security policy) liên quan đến việc kiểm soát truy cập vào hệ thống của nhiều người sử dụng dựa trên nhiều vai trò khác nhau của họ. Mục đích của security policy là mô tả những ràng buộc chung để kiểm soát việc truy cập vào tài nguyên hệ thống mà không quan tâm đến chi tiết việc cài đặt. Mỗi người sử dụng hệ thống sẽ được gán một vai trò, mỗi vai trò có quyền truy cập đến các đối tượng và các chức năng nào của hệ thống phải tuân theo các đặc tả về an ninh của hệ thống. Tập trung nghiên cứu để đóng góp các giải pháp khác nhằm hạn chế các lỗi của chương trình liên quan đến security policy, các giải pháp này bao gồm việc tích hợp các ràng buộc liên quan đến securi...
|
- Thesis
Tác giả : Nguyễn, Việt Hà (2017) - Luận văn giải quyết nhiều vấn đề quan trọng về lý luận và thực tiễn liên quan chức năng của Viện kiểm sát trong tố tụng hình sự Việt Nam. Xây dựng khái niệm về tin báo, tố giác về tội phạm tạo cơ sở áp dụng pháp luật thống nhất và có căn cứ. Nghiên cứu thực tiễn, phân tích tình hình kiểm sát việc giải quyết tố giác, tin báo về tội phạm của Viện kiểm sát nhân dân tỉnh Phú Thọ từ năm 2011 đến năm 2016, từ đó rút ra những tồn tại, hạn chế và các nguyên nhân cơ bản, đề xuất các định hướng và giải pháp hoàn thiện pháp luật và nâng cao hiệu quả thực hiện công tác kiểm sát này.
|
- Thesis
Tác giả : Lê, Thị Thu Hiền; Người hướng dẫn: Nguyễn, Việt Hà (2017) - Nội dung xuyên suốt của luận văn là nghiên cứu kỹ thuật kiểm thử hộp trắng đi sâu vào kiểm thử luồng điều khiển để phân tích các đường đi trong chương trình. Độ phủ là một trong các tiêu chí khi kiểm thử luồng điều khiển, độ phủ càng lớn thì độ tin cậy của bộ dữ liệu kiểm thử càng cao.
|
- Other
Tác giả : Nguyễn, Việt Hà; Lê, Quang Hiếu (2) - Tìm hiểu khả năng, lợi ích, tính khả thi của việc ứng dụng E-learning trong môi trường đào tạo đại học tại Khoa Công nghệ nói riêng, Đại học Quốc Gia Hà Nội và các truờng đại học trong nước nói chung. Nghiên cứu xây dựng các bài giảng điện tử, phát triển hệ thống Website môn học. Thí điểm tạo ra và sử dụng trang Web cho một số môn học kết hợp với lên lớp truyền th
|
