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
Luận văn tốt nghiệp: Tìm hiểu công nghệ Design by Contact và xây dựng công cụ hỗ trợ cho C#
Đang chuẩn bị liên kết để tải về tài liệu:
Luận văn tốt nghiệp: Tìm hiểu công nghệ Design by Contact và xây dựng công cụ hỗ trợ cho C#
Phi Nhung
188
1
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Tham khảo "Luận văn tốt nghiệp: Tìm hiểu công nghệ Design by Contact và xây dựng công cụ hỗ trợ cho C#" để có thêm nhiều tư liệu về kiến thức công nghệ phần mềm để hoàn thành thật tốt bài luận tốt nghiệp của mình các bạn sinh viên nhé. | 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 cảm ơ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 cảm ơn đến các thầy cô của bộ môn Công nghệ Phầ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ứu đề tài này. Cuối cùng, quả là một điều thiếu sót nếu không kể đến sự ủng hộ to lớn về mặt tinh thần cũng như sự giúp đỡ tận tình của 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 cảm ơn tất cả, 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 7.1. 7.2. hơn 7.3. 29 Quyền lợi và nghĩa vụ 29 7.1.1. Những quyền lợi 30 7.1.2. Những nghĩa vụ 30 Nghệ thuật của sự tin cậy phần
TÀI LIỆU LIÊN QUAN
Luận văn tốt nghiệp: Tìm hiểu công nghệ WAP và công cụ tìm kiếm trên di động
Luận văn tốt nghiệp: Tìm hiểu công nghệ Design by Contact và xây dựng công cụ hỗ trợ cho C#
Luận văn tốt nghiệp: Tìm hiểu SQL server
Khóa luận tốt nghiệp: Tìm hiểu giá trị nội dung và nghệ thuật tác phẩm Nam triều công nghiệp diễn chí
Khóa luận tốt nghiệp: Tìm hiểu công tác tổ chức hội nghị tại văn phòng Bộ Khoa học và Công nghệ
Báo cáo Luận văn Tốt nghiệp: Tìm hiểu công nghệ nhận dạng hình ảnh
Khóa luận tốt nghiệp: Tìm hiểu về việc áp dụng hệ thống quản lý chất lượng theo Tiêu chuẩn quốc gia TCVN ISO 9001-2008 trong công tác văn thư - lưu trữ tại Bộ Khoa học và Công nghệ
Đồ án tốt nghiệp " TÌM HIỂU VỀ CÁC WEB SERVER THÔNG DỤNG. TÌM HIỂU VỀ MAILING LIST VÀ CÁC MAIL SYSTEM. XÂY DỰNG MỘT CHƯƠNG TRÌNH INTERNET MAIL "
Luận văn tốt nghiệp: Tìm hiểu các chương trình quản lí phòng máy
Luận văn tốt nghiệp: Tìm hiểu các kĩ thuật áp dụng cho bài toán nhận dạng kí tự người câm
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.