Thông tin tài liệu
| Nhan đề : | Các nguyên lý và kỹ thuật kiểm chứng chất lượng phần mềm |
| Tác giả : | Trần Việt Hưng |
| Người hướng dẫn: | Huỳnh Quyết Thắng |
| Từ khoá : | Phần mềm; Phần mềm Maude checker |
| Năm xuất bản : | 2011 |
| Nhà xuất bản : | Trường Đại học Bách Khoa Hà Nội |
| Tóm tắt : | 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. |
| Mô tả: | Luận văn thạc sỹ - Ngành Công nghệ thông tin |
| URI: | http://dlib.hust.edu.vn/handle/HUST/357 |
| Trong bộ sưu tập: | Ths-Công nghệ thông tin |
XEM MÔ TẢ
620
XEM & TẢI
85
Danh sách tệp tin đính kèm:
Khi sử dụng tài liệu trong thư viện số bạn đọc phải tuân thủ đầy đủ luật bản quyền.