Thông tin tài liệu
| Nhan đề : | Kiểm tra mô hình phần mềm sử dụng ký thuyết ô tômat buchi và logic thời gian tuyến tính |
| Tác giả : | Phạm Thị Thái Ninh |
| Người hướng dẫn: | Huỳnh Quyết Thắng |
| Từ khoá : | Mô hình phần mềm; Kiểm tra |
| Năm xuất bản : | 2006 |
| Nhà xuất bản : | Trường Đại học Bách Khoa Hà Nội |
| Tóm tắt : | Tổng quan về kiểm tra mô hình phần mềm. Các kỹ thuật kiểm tra mô hình phần mềm. kỹ thuật kiểm tra mô hình phần mềm sử dụng lý thuyết logic thời gian tuyến tính và ôtômat buchi. Xây dựng hệ thống để kiểm tra mô hình phần mềm |
| Mô tả: | Luận văn thạc sỹ- Ngành Công nghệ thông tin - Trường Đại học Bách khoa Hà Nội |
| URI: | http://dlib.hust.edu.vn/handle/HUST/78 |
| Trong bộ sưu tập: | Ths-Công nghệ thông tin |
XEM MÔ TẢ
89
XEM & TẢI
73
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.