MỤC LỤC
Chương 1: Giới thiệu về Eiffel
Chương 2: Một số cơ chế mang lại tính đáng tin cậy cho phần mềm
Chương 3: Tính đúng đắn của phần mềm
Chương 4: Biểu diễn một đặc tả
Chương 5: Giới thiệu về sự xác nhận trong văn bản của phần mềm
Chương 6: Tiền điều kiện và hậu điều kiện
Chương 7: Giao ước cho tính đáng tin cậy của phần mềm
Chương 8: Làm việc với những xác nhận
Chương 9: Những điều kiện bất biến của lớp
Chương 10: Khi nào một lớp là đúng?
Chương 11: Kết nối với kiểu dữ liệu trừu tượng
Chương 12: Một chỉ thị xác nhận
Chương 13: Vòng lặp có điều kiện bất biến và điều kiện biến đổi
Chương 14: Sử dụng những xác nhận
Chương 15: Giới thiệu công cụ XC#
Chương 16: Kết quả thực nghiệm: công cụ DCS
[You must be registered and logged in to see this link.]

Password Unlock
Code:
3579