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:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
Trường Đại học Công nghệ
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/41981 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | 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 |