» Từ khóa: Đặc tả hình thức

Kết quả 13-16 trong khoảng 16

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

Bài giảng Đặc tả hình thức: Chương 2 do Nguyễn Thị Minh Tuyền biên soạn gồm các nội dung chính được trình bày như: Tập hợp (Set), giá trị của một tập hợp, định nghĩa tập hợp, các phép toán trên tập hợp, tập lũy thừa, phân hoạch tập hợp,...

43 p husc 31/01/2018 220 1

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Tập hợp và quan hệ, Tập các đối tượng rời rạc, Tập lũy thừa, Quan hệ nhị phân
Bài giảng Đặc tả hình thức: Chương 3 - Nguyễn Thị Minh Tuyền

Bài giảng Đặc tả hình thức: Chương 3 do Nguyễn Thị Minh Tuyền biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm Nguyên tử và quan hệ, signature và Field, các phép toán,...Mời các bạn cung tham khảo!

69 p husc 31/01/2018 211 1

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Nguyên tử và quan hệ, Quan hệ đơn phân
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 husc 31/01/2018 182 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
Bài giảng Đặc tả hình thức: Chương 13 - Nguyễn Thị Minh Tuyền

Chương 13 giúp người học hiểu về "Giới thiệu về ESC/Java2 Cảnh báo". Nội dung trình bày cụ thể gồm có: Các loại cảnh báo ESC/Java2, Cast warning, Null warning, ArrayStore Warning, ZeroDiv, index Warnings, class invariant warnings,...

41 p husc 31/01/2018 159 1

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về ESC/Java2 cảnh báo, Các loại cảnh báo ESC/Java2, Deadlock warnings