| Luận văn: | Nghiên cứu về chứng minh tự động (Theorem Proving) trong CafeOBJ : Luận văn ThS. Công nghệ thông tin: 60 48 10 |
| Nhà xuất bản: | ĐHCN |
| Ngày: | 2010 |
| Chủ đề: | Ngôn ngữ lập trình Phần mềm Hệ thống đa tác tử |
| Miêu tả: | 41 tr. + CD-ROM Luận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2010 Chương 1: Giới thiệu. Chương 2: Tổng quan về ngôn ngữ CafeOBJ, kỹ thuật đặc tả và kiểm chứng phần mềm bằng phương pháp hình thức được sử dụng trong CafeOBJ. Chương 3: Đặc tả hệ thống đa tác tử và các thuộc tính. Chương 4: Mổ tả về phương pháp kiểm chứng hệ thống đa tác tử bằng ngôn ngữ CafeOBJ, với tư tưởng quy nạp, có thể kiểm chứng với không gian trạng thái là vô tận. Chương 5: Tóm tắt kết quả đạt được, kết luận, những hạn chế và hướng nghiên cứu phát triển trong tương lai Electronic Resources |
| Kiểu: | text |
| Định dạng: | text/pdf |
You must be registered for see links