Bài giảng Đặc tả hình thức: Chương 7 - Nguyễn Thị Minh Tuyền

Nội dung chương 7 trình bày đến người học những vấn đề liên quan đến "Mô hình động trong Alloy", cụ thể như: Các mô hình tĩnh, mô hình hóa chuyển đổi trạng thái, signature mang tính chất tĩnh, các chuỗi trạng thái, biểu diễn một chuyển đổi,...

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình động trong Alloy, Các mô hình tĩnh, Các vị từ frame condition