Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Trần Đức Khánh | - |
| dc.contributor.author | Nguyễn Đức Cường | - |
| dc.date.accessioned | 2016-05-13T09:06:18Z | - |
| dc.date.available | 2016-05-13T09:06:18Z | - |
| dc.date.issued | 2014 | - |
| dc.identifier.other | '000000273432 | - |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/3834 | - |
| dc.description | Luận văn thạc sỹ - Chuyên ngành Công nghệ thông tin | - |
| dc.description.abstract | Tổng quan về hoare logic, separation logic và kiểm định phần mềm, kiểm chứng mô hình, vai trò của separation logic trong tự động hóa kiểm định phần mềm. Nêu cơ sở lý thuyết của separation logic và giải pháp cho ứng dụng kiểm định phần mềm tự động. Cài đặt thử công cụ kiểm định tự động ứng dụng separation logic. | - |
| dc.language.iso | vi | - |
| dc.publisher | Trường Đại học Bách Khoa Hà Nội | - |
| dc.subject | Phần mềm | - |
| dc.subject | Kiểm định | - |
| dc.subject.lcc | QA76 | - |
| dc.title | Nghiên cứu về Separation Logic và ứng dụng vào hệ thống kiểm định tự động. | - |
| dc.type | Thesis | - |
| Appears in Collections: | Ths-Công nghệ thông tin | |
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.