Gia sư Cần Thơ, Dạy Kèm Cần Thơ

VỮNG TIN - TIẾP BƯỚC - THÀNH CÔNG


[LVIT025]Tìm hiểu CN Design By Contract và XD công cụ hỗ trợ cho C#

Share

admin
Admin
Admin

Tổng số bài gửi : 1207
Points : 3010
Join date : 11/11/2009
Age : 35
Đến từ : Cần Thơ

[LVIT025]Tìm hiểu CN Design By Contract và XD công cụ hỗ trợ cho C#

Bài gửi  admin on Thu Jun 07, 2012 11:15 am

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


Gia sư Alpha
------------------------------------------------------------------------------------
Điện thoai: 07106 255 599 - 0932 836 026 - 0987 700 288
Website: [You must be registered and logged in to see this link.]
Email: [You must be registered and logged in to see this link.]
------------------------------------------------------------------------------------

    Hôm nay: Sat Dec 03, 2016 10:39 pm