Đặc tả alloy

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!

69p sangbanmai_0906 17-01-2018 80 7   Download

Bài giảng Đặc tả hình thức: Chương 4, trình bày các nội dung sau: Các phép toán logic, thứ tự ưu tiên các phép toán, tập bằng cách định nghĩa thuộc tính,...Mời các bạn cung tham khảo!

24p sangbanmai_0906 17-01-2018 80 7   Download

Assertion là ràng buộc bổ sung và được kiểm tra bởi bộ phân tích xem chúng có đúng hay không. Bài giảng Đặc tả hình thức: Chương 5 do Nguyễn Thị Minh Tuyền sau đây sẽ giúp các bạn nắm chi tiết hơn về Assertion. Mời các bạn cùng tham khảo!

14p sangbanmai_0906 17-01-2018 57 6   Download

Bài giảng Đặc tả hình thức: Chương 6 do Nguyễn Thị Minh Tuyền biên soạn nội dung cụ thể của chương này gồm có: Module trong Alloy, khai báo module, định nghĩa module, định nghĩa ModulePathName, các module định nghĩa sẵn, xung đột về tên, các module được tham số hóa,...

23p sangbanmai_0906 17-01-2018 38 3   Download

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

38p sangbanmai_0906 17-01-2018 36 5   Download

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

33p sangbanmai_0906 17-01-2018 67 5   Download

UML là ngôn ngữ mô hình hóa thống nhất, biểu diễn các đối tượng thực bằng các ký hiệu trực quan. Một mô hình UML gồm nhiều biểu đồ thể hiện các khía cạnh khác nhau của hệ thống. OCL được sử dụng để mô tả các ràng buộc cho các đối tượng của mô hình UML. Một cách để kiểm tra sự đúng đắn của mô hình UML là chuyển đổi mô hình UML sang đặc tả Alloy và sử dụng công cụ Alloy Analyzer để phân tích tự động. Khóa luận này giới thiệu về UML, OCL, Alloy...

51p truongnghen 30-08-2012 194 58   Download