Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm : Luận văn ThS. Công nghệ thông tin: 60 48 10

Giới thiệu tổng quan phần mềm hướng thành phần, đưa ra các khái niệm cơ bản và cách tiếp cận để kiểm chứng phần mềm hướng thành phần. Trình bày chi tiết thuật toán học L*, giải thuật tạo giả định sử dụng thuật toán học L*. Nghiên cứu giải thuật tạo giả địn (...)...

全面介紹

Saved in:
書目詳細資料
主要作者: Nguyễn, Văn Hiếu
其他作者: Lê, Anh Cường
格式: Theses and Dissertations
語言:Vietnamese
出版: Trường Đại học Công nghệ 2017
主題:
在線閱讀:http://repository.vnu.edu.vn/handle/VNU_123/41981
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
機構: Vietnam National University, Hanoi
語言: Vietnamese
id oai:112.137.131.14:VNU_123-41981
record_format dspace
spelling oai:112.137.131.14:VNU_123-419812018-07-24T15:00:18Z Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm : Luận văn ThS. Công nghệ thông tin: 60 48 10 Nguyễn, Văn Hiếu Lê, Anh Cường Công nghệ phần mềm Công nghệ thông tin Tin học Máy tính Phần mềm hướng thành phẩm Giới thiệu tổng quan phần mềm hướng thành phần, đưa ra các khái niệm cơ bản và cách tiếp cận để kiểm chứng phần mềm hướng thành phần. Trình bày chi tiết thuật toán học L*, giải thuật tạo giả định sử dụng thuật toán học L*. Nghiên cứu giải thuật tạo giả địn (...) 2017-05-17T08:02:11Z 2017-05-17T08:02:11Z 2009 Thesis Nguyễn, Văn Hiếu. (2009). Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm. Luận văn Thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam 00050000018 http://repository.vnu.edu.vn/handle/VNU_123/41981 vi Luận văn Ngành Công nghệ phần mềm (Full) 58 tr. + CD-ROM application/pdf Trường Đại học Công nghệ
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language Vietnamese
topic Công nghệ phần mềm
Công nghệ thông tin
Tin học
Máy tính
Phần mềm hướng thành phẩm
spellingShingle Công nghệ phần mềm
Công nghệ thông tin
Tin học
Máy tính
Phần mềm hướng thành phẩm
Nguyễn, Văn Hiếu
Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm : Luận văn ThS. Công nghệ thông tin: 60 48 10
description Giới thiệu tổng quan phần mềm hướng thành phần, đưa ra các khái niệm cơ bản và cách tiếp cận để kiểm chứng phần mềm hướng thành phần. Trình bày chi tiết thuật toán học L*, giải thuật tạo giả định sử dụng thuật toán học L*. Nghiên cứu giải thuật tạo giả địn (...)
author2 Lê, Anh Cường
author_facet Lê, Anh Cường
Nguyễn, Văn Hiếu
format Theses and Dissertations
author Nguyễn, Văn Hiếu
author_sort Nguyễn, Văn Hiếu
title Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm : Luận văn ThS. Công nghệ thông tin: 60 48 10
title_short Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm : Luận văn ThS. Công nghệ thông tin: 60 48 10
title_full Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm : Luận văn ThS. Công nghệ thông tin: 60 48 10
title_fullStr Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm : Luận văn ThS. Công nghệ thông tin: 60 48 10
title_full_unstemmed Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm : Luận văn ThS. Công nghệ thông tin: 60 48 10
title_sort phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm : luận văn ths. công nghệ thông tin: 60 48 10
publisher Trường Đại học Công nghệ
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/41981
_version_ 1680967709458694144