» Từ khóa: mo hinh dong trong alloy

Kết quả 1-1 trong khoảng 1

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,...

38 p pdu 31/01/2018 193 1

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

Đăng nhập

Bộ sưu tập nổi bật

Tin nhanh

TRƯỜNG ĐẠI HỌC PHẠM VĂN ĐỒNG

Địa chỉ: Phan Đình Phùng (nối dài), Thành phố Quảng Ngãi, Tỉnh Quảng Ngãi
Điện thoại: 0553828488 - 3710569 Fax: 0553824925
Email: tttt@pdu.edu.vn - Website: http://www.pdu.edu.vn

Phát triển bởi Thư viện số