Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Luận Văn - Báo Cáo
Công nghệ thông tin
Đồ án "Tìm hiểu công nghệ Design by Contract và xây dựng công cụ hỗ trợ "
Đang chuẩn bị liên kết để tải về tài liệu:
Đồ án "Tìm hiểu công nghệ Design by Contract và xây dựng công cụ hỗ trợ "
Quốc Bảo
98
1
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Trong ngành công nghệ thông tin, thay đổi là một tất yếu diễn ra hết sức thường xuyên mà ta phải chấp nhận và cố gắng điều chỉnh nó. Phần mềm này ra đời thay thế phần mềm khác là một điều vô cùng bình thường, dễ hiểu. | TRƯỜNG ĐẠI HỌC KHOA HỌC Tự NHIÊN KHOA CÔNG NGHỆ THÔNG TIN BỘ MÔN CÔNG NGHỆ PHẦN MỀM LÊ TRẦN HOÀNG NGUYÊN - 0112103 NGUYỄN BÁCH KHOA - 0112140 TÌM HIỂU CÔNG NGHỆ DESIGN BY CONTRACT VÀ XÂY DựNG CÔNG CỤ HỖ TRỢ CHO C KHÓA LUẬN CỬ NHÂN TIN HỌC GIÁO VIÊN HƯỚNG DẢN Th.s NGUYỄN ĐÔNG HÀ NIÊN KHÓA 2001 - 2005 Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C LỜI CÁM ƠN Đầu tiên xin chân thành cam ơn cô Nguyễn Đông Hà đã trực tiếp hướng dẫn cũng như cung cấp tài liệu đê chúng em có thê tiếp cận và tìm hiêu về công nghệ Design By Contract hữu ích này. Bên cạnh đó xin đồng gửi lời cam ơn đèn các thầy cô cua bộ môn Công nghệ Pyhần mềm Nâng cao đã tạo điều kiện cho chúng em dành nhiều thời gian nghiên cúm đề tài này. Cuối cùng qua là một điều thiêu sót nèu không kê đèn sự ung hộ to lớn về mặt tinh thần cũng như sự giúp đỡ tận tình cua gia đình bạn bè đặc biệt là bạn Nguyễn Lương Ngọc Minh và Nguyễn Ngọc Khánh. Xin chân thành cam ơn tất ca những người đã góp phần giúp cho luận văn này được hoàn thành. Thành phố Hồ Chí Minh Tháng 7 2005. 2 Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C MỤC LỤC LỜI NÓI ĐẦU 7 TỐNG QUAN 8 Chương 1 Giới thiệu về Eiffel 9 1.1. Giới thiệu 9 1.2. Design By Contract trong Eiffel 10 1.3. EiffelStudio 10 1 .3.1. Giao diện 11 1 .3.2. Các thao tác căn bản trên EiffelStudio 11 Chương 2 Một số cơ chế mang lại tính đáng tin cậy cho phần mềm 17 Chương 3 Tính đúng đắn của phần mềm 18 Chương 4 Biểu diễn một đặc tả 20 4.1. Những công thức của tính đúng đắn 20 4.2. Những điều kiện yếu và mạnh 22 Chương 5 Giới thiệu về sự xác nhận trong văn bản của phần mềm 24 Chương 6 Tiền điều kiện và hậu điều kiện 25 6.1. Lớp ngăn xếp 25 6.2. Tiền điều kiện 28 6.3. Hậu điều kiện 28 Chương 7 Giao ước cho tính đáng tin cậy của phần mềm 29 7.1. Quyền lợi và nghĩa vụ 29 7 .1.1. Nhìmg quyền lợi 30 7 .1.2. Nhữ ng nghĩa vụ 30 7.2. Nghệ thuật của sự tin cậy phần mềm kiểm tra ít hơn bảo đảm nhiều hơn 31 7.3. Nhữ ng xác nhận không phải là một cơ .
TÀI LIỆU LIÊN QUAN
Thiết kế và xây dựng thiết bị đo thông minh có khả năng tự động nhận dạng tín hiệu điện tim ECG ứng dụng công nghệ nhúng
Đồ án tốt nghiệp về - Xây dựng và đánh giá một số dụng cụ kỹ thuật đo lường
Đồ án tốt nghiệp Công nghệ thông tin: Tìm hiểu công cụ Ekahau trong hỗ trợ khảo sát thiết kế mạng wifi
Đồ án tốt nghiệp Công nghệ thông tin: Tìm hiểu công cụ Nessus trong phát hiện và phân tích lỗ hổng bảo mật trên hệ thống mạng
Đồ án tốt nghiệp Tìm hiểu công nghệ ADSL
Đồ án tốt nghiệp ngành Công nghệ thông tin: Tìm hiểu về Web Service và ứng dụng
Đồ án tốt nghiệp ngành Công nghệ thông tin: Tìm hiểu kỹ thuật giấu tin trong ảnh khảm sốc
Đồ án tốt nghiệp: Tìm hiểu về HACCP và nghiên cứu ứng dụng HACCP vào công nghệ sản xuất trà sữa
Tiểu luận: Tìm hiểu tổng quan về đánh giá hệ thống phát hiện xâm nhập và tìm hiểu về Ftester qua đó ứng dụng trong một hệ thống cụ thể
Đồ án tốt nghiệp Công nghệ thông tin: Tìm hiểu QRcode và ứng dụng cho bài toán check-in tự động
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.