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 : Đề tài NCKH. QGTĐ 09.02

47tr.

Saved in:

Bibliographic Details
Main Authors:	Nguyễn, Việt Hà, Phạm, Ngọc Hùng
Format:	Other
Language:	other
Published:	H. : ĐHQGHN 2017
Subjects:	Khoa học máy tính Công nghệ thông tin Phần mềm
Online Access:	http://repository.vnu.edu.vn/handle/VNU_123/22904
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Vietnam National University, Hanoi
Language:	other

id	oai:112.137.131.14:VNU_123-22904
record_format	dspace
spelling	oai:112.137.131.14:VNU_123-229042017-05-11T20:23:38Z 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 : Đề tài NCKH. QGTĐ 09.02 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 47tr. 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 2017-03-28T07:27:36Z 2017-03-28T07:27:36Z 2011 Other http://repository.vnu.edu.vn/handle/VNU_123/22904 other application/pdf H. : ĐHQGHN
institution	Vietnam National University, Hanoi
building	VNU Library & Information Center
country	Vietnam
collection	VNU Digital Repository
language	other
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 : Đề tài NCKH. QGTĐ 09.02
description	47tr.
format	Other
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 : Đề tài NCKH. QGTĐ 09.02
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 : Đề tài NCKH. QGTĐ 09.02
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 : Đề tài NCKH. QGTĐ 09.02
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 : Đề tài NCKH. QGTĐ 09.02
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 : Đề tài NCKH. QGTĐ 09.02
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 : đề tài nckh. qgtđ 09.02
publisher	H. : ĐHQGHN
publishDate	2017
url	http://repository.vnu.edu.vn/handle/VNU_123/22904
_version_	1680966324909506560

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 : Đề tài NCKH. QGTĐ 09.02

Similar Items