Tìm hiểu cơng nghệ Design By Contract Xây dựng công cụ hỗ trợ cho C# giới hạn cho phép Điều kiện bất biến biểu diễn mối quan hệ count, lower upper; cho phép count cài đặt hàm thuộc tính indexing description: "Mảng giá trị kiểu, truy xuất phần tử thông qua số mảng" class ARRAY [G] creation make feature Khởi tạo make (minindex, maxindex: INTEGER) is Xác định biên mảng với minidex maxindex Mảng rỗng minindex > maxindex require meaningful_bounds: maxindex >= minindex - … ensure exact_bounds_if_non_empty: (maxindex >= minindex) implies ((lower = minindex) and (upper = maxindex)) conventions_if_empty: (maxindex < minindex) implies ((lower = 1) and (upper = 0)) end feature – Truy cập lower, upper, count: INTEGER Chỉ số cao vào thấp hợp lệ; kích thước mảng infix "@", item (i: INTEGER): G is Giá trị mảng số i 61 Tìm hiểu công nghệ Design By Contract Xây dựng công cụ hỗ trợ cho C# require index_not_too_small: lower n); sau tiếp cận POST, lặp lặp lại bám vào INV Xem hình minh họa đây: 72 ... thủ tục khởi tạo tương ứng 64 Tìm hiểu công nghệ Design By Contract Xây dựng công cụ hỗ trợ cho C# 11.3 Hàm trừu tượng Hình 1 1-1 : Sự biến đổi đối tượng trừu tượng cụ thể A ADT C lớp cài đặt từ... hàm h cho h(x) = g(f(x)) với x (f;g viết dạng g o f ) 65 Tìm hiểu cơng nghệ Design By Contract Xây dựng công cụ hỗ trợ cho C# Hai đường đứt khúc đến đối tượng trừu tượng ABST_2 Kết bạn: - Áp dụng... hợp Vì mũi tên a nên vẽ theo chiều để mô tả cho kết nối kiểu cụ thể trừu tượng 67 Tìm hiểu cơng nghệ Design By Contract Xây dựng công cụ hỗ trợ cho C# Cài đặt điều kiện bất biến phần xác nhận