loading
Sách, tuyển tập

Nghiên cứu về chứng minh tự động (Theorem Proving) trong CafeOBJ / Tạ, Thị Thu Hiền

Tác giả : Tạ, Thị Thu Hiền

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2010

Mô tả vật lý : 41 tr. + CD-ROM

Chủ đề : 1. Hệ thống đa tác tử. 2. Ngôn ngữ lập trình. 3. Phần mềm. 4. Thesis.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

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
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Đại học Công nghệ - ĐHQGHN
https://repository.vnu.edu.vn/handle/VNU_123/5861