Thông tin tài liệu
| Title: | 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 |
| Authors: | Phạm Thị Thái Ninh |
| Advisor: | Huỳnh Quyết Thắng |
| Keywords: | Mô hình phần mềm; Kiểm tra |
| Issue Date: | 2006 |
| Publisher: | Trường Đại học Bách Khoa Hà Nội |
| Abstract: | 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 |
| Description: | 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 |
| Appears in Collections: | Ths-Công nghệ thông tin |
ABSTRACTS VIEWS
43
VIEWS & DOWNLOAD
51
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.