Phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần

Phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần

Nghiên cứu mô hình kiến trúc phần mềm hiện đại dựa trên thành phần và các công nghệ nền tảng như CORBA, Java Beans, .NET và web-service để đưa ra các phương pháp đặc tả, kiểm chứng nhằm mục đích tăng chất lượng của các hệ thống xây dựng dựa trên các công nghệ này. Nghiên cứu các phương pháp mô hình...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Nguyễn, Việt H, Phạm, Ngọc Hùng
Định dạng: Bài viết
Ngôn ngữ:Vietnamese
Được phát hành: Đại học Quốc gia Hà Nội 2015
Những chủ đề:
Khoa học máy tính
Công nghệ thông tin
Phần mềm
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56112
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-56112
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-561122015-06-17T09:42:41Z Phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần Nguyễn, Việt Hà Phạm, Ngọc Hùng Khoa học máy tính Công nghệ thông tin Phần mềm Nghiên cứu mô hình kiến trúc phần mềm hiện đại dựa trên thành phần và các công nghệ nền tảng như CORBA, Java Beans, .NET và web-service để đưa ra các phương pháp đặc tả, kiểm chứng nhằm mục đích tăng chất lượng của các hệ thống xây dựng dựa trên các công nghệ này. Nghiên cứu các phương pháp mô hình hóa các hệ thống phần mềm phức tạp và các mô hình tích hợp hệ thống. Nghiên cứu các phương pháp và ngôn ngữ đặc tả giao diện tương tác thành phần phần mềm, đặc biệt là đặc tả dựa trên phương pháp hình thức. Nghiên cứu các phương pháp kiểm chứng phần mềm: kiểm chứng thành phần phần mềm ở các mức mô hình, mã nguồn và mã thực thi, kiểm chứng sự tương thích về giao diện của các thành phần phần mềm, kiểm chứng sự tương thích về môi trường và ràng buộc về tài nguyên, kiểm chứng các ràng buộc thời gian thực. Phát triển cức công cụ trợ giúp như: bộ phân tích cú pháp và sinh mã; bộ phân tích mã đối tượng và xây dựng đồ thị luồng điều khiển, bộ chứng minh tự động. Nghiên cứu ứng dụng các công cụ mô hình hóa và kiểm chứng như: SPIN, SMV, B4 free, Java Path Finder, … Kết quả đạt được: Phương pháp sinh giả định tối thiểu kiểm chứng phần mềm dựa trên thành phần. Phương pháp kiểm chứng sự tuân thủ giữa thực thi so với đặc tả thiết kế. Phương pháp kiểm chứng hình thức cho các hệ thống tương tranh. Phương pháp sinh bộ kiểm thức thích hợp cho việc chuyển đổi số thực dấu phẩy động sang số thực dấu phẩy tĩnh 2015-06-10T08:35:30Z 2015-06-10T08:35:30Z 2011 Working Paper http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56112 vi application/pdf Đại học Quốc gia Hà Nội
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language Vietnamese
topic Khoa học máy tính
Công nghệ thông tin
Phần mềm
spellingShingle Khoa học máy tính
Công nghệ thông tin
Phần mềm
Nguyễn, Việt Hà
Phạm, Ngọc Hùng
Phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần
description Nghiên cứu mô hình kiến trúc phần mềm hiện đại dựa trên thành phần và các công nghệ nền tảng như CORBA, Java Beans, .NET và web-service để đưa ra các phương pháp đặc tả, kiểm chứng nhằm mục đích tăng chất lượng của các hệ thống xây dựng dựa trên các công nghệ này. Nghiên cứu các phương pháp mô hình hóa các hệ thống phần mềm phức tạp và các mô hình tích hợp hệ thống. Nghiên cứu các phương pháp và ngôn ngữ đặc tả giao diện tương tác thành phần phần mềm, đặc biệt là đặc tả dựa trên phương pháp hình thức. Nghiên cứu các phương pháp kiểm chứng phần mềm: kiểm chứng thành phần phần mềm ở các mức mô hình, mã nguồn và mã thực thi, kiểm chứng sự tương thích về giao diện của các thành phần phần mềm, kiểm chứng sự tương thích về môi trường và ràng buộc về tài nguyên, kiểm chứng các ràng buộc thời gian thực. Phát triển cức công cụ trợ giúp như: bộ phân tích cú pháp và sinh mã; bộ phân tích mã đối tượng và xây dựng đồ thị luồng điều khiển, bộ chứng minh tự động. Nghiên cứu ứng dụng các công cụ mô hình hóa và kiểm chứng như: SPIN, SMV, B4 free, Java Path Finder, … Kết quả đạt được: Phương pháp sinh giả định tối thiểu kiểm chứng phần mềm dựa trên thành phần. Phương pháp kiểm chứng sự tuân thủ giữa thực thi so với đặc tả thiết kế. Phương pháp kiểm chứng hình thức cho các hệ thống tương tranh. Phương pháp sinh bộ kiểm thức thích hợp cho việc chuyển đổi số thực dấu phẩy động sang số thực dấu phẩy tĩnh
format Working Paper
author Nguyễn, Việt Hà
Phạm, Ngọc Hùng
author_facet Nguyễn, Việt Hà
Phạm, Ngọc Hùng
author_sort Nguyễn, Việt Hà
title Phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần
title_short Phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần
title_full Phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần
title_fullStr Phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần
title_full_unstemmed Phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần
title_sort phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần
publisher Đại học Quốc gia Hà Nội
publishDate 2015
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56112
_version_ 1757655842481504256

Những quyển sách tương tự