Thông tin tài liệu
| Title: | Các nguyên lý và kỹ thuật kiểm chứng chất lượng phần mềm |
| Authors: | Trần Việt Hưng |
| Advisor: | Huỳnh Quyết Thắng |
| Keywords: | Phần mềm; Phần mềm Maude checker |
| Issue Date: | 2011 |
| Publisher: | Trường Đại học Bách Khoa Hà Nội |
| Abstract: | Trình bày tổng quan về kiểm thử phần mềm. Kiểm chứng mô hình. Áp dụng Maude checker kiểm chứng mô hình mô phỏng reading practise. Các kết quả và bàn luận. |
| Description: | Luận văn thạc sỹ - Ngành Công nghệ thông tin |
| URI: | http://dlib.hust.edu.vn/handle/HUST/357 |
| Appears in Collections: | Ths-Công nghệ thông tin |
ABSTRACTS VIEWS
620
VIEWS & DOWNLOAD
85
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.