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: | Nguyễn, Văn Hiếu |
---|---|
Other Authors: | Lê, Anh Cường |
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 |
Similar Items
-
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
by: Nguyễn, Văn Hiếu
Published: (2016) -
Kỹ thuật hỗ trợ kiểm soát chất lượng phần mềm : Luận văn ThS. Công nghệ thông tin: 60 48 10
by: Trịnh, Thị Lình
Published: (2017) -
Nghiên cứu kỹ thuật kiểm thử phần mềm và ứng dụng trên môi trường DOT NET
by: Vũ, Minh Hiếu
Published: (2016) -
Sinh mã tự động trong phát triển phần mềm hướng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
by: Dương, Ngọc Lâm
Published: (2017) -
Phát triển mẫu thiết kế phần mềm và ứng dụng
by: Nghiêm, Văn Triệu
Published: (2016)