Công nghệ design by contract

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.

0p bigstar19 25-11-2013 59 5   Download

Soạn thảo văn bản trực tuyến Đối với dân văn chương thời CNTT, những ứng dụng như Microsoft Word, Open Office hay trình chỉnh sửa văn bản đơn giản hơn như Notepad của Windows, Text Edit của Mac OS X đã không còn xa lạ. Nhưng khi thời gian sử dụng các trình duyệt ngày càng nhiều, nhu cầu viết trên chính trình duyệt của người dùng cũng tăng lên. Trong trường hợp này, những gợi ý sau đây có thể là lựa chọn thích hợp: Google Docs - Đây có lẽ là tiện ích soạn thảo văn bản trực tuyến được...

3p bibocumi27 16-01-2013 48 2   Download

Trong một thế giới do thiết bị di động, mạng xã hội, Instagram và những công nghệ hiện đại khác, người ta luôn cảm thấy áp lực cần phải phản ứng lại “ngay và luôn” mọi yêu cầu của vòng luẩn quẩn tin nhắn/email/Facebook từ phía bạn bè hay đối tác. Khi bị “lỗi nhịp” với một trong những điều trên, nhiều người xem đây là lỗi lầm “kinh khủng” và tự đánh giá tiêu cực về chính bản thân mình. Tuy nhiên, một bí mật nhỏ của cuộc sống chính là thi thoảng nên tự “nhún vai” cho những sơ...

3p bibocumi26 12-01-2013 75 6   Download

Khóa luận tìm hiểu về công nghệ thiết kế theo hợp đồng (Design by Contract) [3] và trình bày những khái niệm cơ bản. Đây là công nghệ giúp cho chúng ta xây dựng đặc tả giữa các lớp trong một thành phần và xem xét sự kết hợp giữa chúng với nhau. Mở rộng hơn nữa là đặc tả các thành phần trong một phần mềm và các thành phần phải thỏa mãn những điều kiện nào đó mới có thể liên kết với nhau để tạo thành phần mềm có tính tin cậy, tính đúng đắn cao ...

61p truongnghen 30-08-2012 106 16   Download