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
Link tải Free download cho anh em Ket-noi:00050000055_Noi_dung.pdf
