- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Bài giảng Đặc tả hình thức: Chương 8 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 8 giúp người học hiểu về "Mô hình minh họa: Hotel Room Locking". Nội dung trình bày cụ thể gồm có: Mô tả vấn đề, signatures và fields, biểu đồ mô hình cho hệ thống, bàng buộc và thao tác, phát sinh khóa mới, trạng thái khởi tạo,...
33 p pdu 31/01/2018 138 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình minh họa, Hotel Room Locking, Mô hình hóa bằng Alloy, Phát sinh khóa mới