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

Bài giảng Đặc tả hình thức Chương 0 do Nguyễn Thị Minh Tuyền biên soạn nhằm giúp các bạn nắm được mục tiêu của môn học là: Tập trung vào đặc tả hình thức, giới thiệu thêm về phương pháp hình thức, hiểu được phương pháp hình thức hỗ trợ cho việc tạo ra các phần mềm có chất lượng cao như thế nào, học về mô hình hóa hình thức và các...

 12 p husc 31/01/2018 223 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Thiết kế ở mức cao, Đặc tả ở mức mã nguồn, Đặc tả ở mức mã nguồn

Bài giảng Đặc tả hình thức: Chương 1 cung cấp cho người học các kiến thức: Phần mềm, thiệt hại về tiền của do lỗi phần mềm, lỗi phần mềm gây thiệt hại về tính mạng, lỗi hệ thống phần mềm, phương pháp hình thức,...

 40 p husc 31/01/2018 265 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Hệ thống phần mềm, Lỗi phần mềm, Ngôn ngữ và hệ thống, Các ngôn ngữ đặc tả, Kiểm tra mô hình

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!

 24 p husc 31/01/2018 243 1 Download

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, Các phép toán logic, Cấu trúc Family

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!

 14 p husc 31/01/2018 214 1 Download

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, Run và vị từ, Lệnh và phạm vi

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

 23 p husc 31/01/2018 237 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Các module trong Alloy, Định nghĩa module, Định nghĩa ModulePathName, Các module định nghĩa sẵn, Khai báo module

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 husc 31/01/2018 231 1 Download

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

Bài giảng Đặc tả hình thức: Chương 9 cung cấp cho người học các kiến thức: Từ mô hình đến cài đặt, design by contract (DBC), ý tưởng cơ bản, ngôn ngữ đặc tả hay ngôn ngữ lập trình, công cụ hỗ trợ,...

 22 p husc 31/01/2018 302 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Design by contract, Ngôn ngữ đặc tả, Công cụ hỗ trợ

Bài giảng Đặc tả hình thức: Chương 10 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 có Giới thiệu về JML, công cụ hỗ trợ cho JML, ESC/Java2: Cách sử dụng và thuộc tính, ESC/Java2: các cảnh báo, một số chỉ dẫn về đặc tả và điểm yếu, JML nâng cao.

 28 p husc 31/01/2018 245 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Java Modeling Language, Java Modeling Language, Công cụ hỗ trợ cho JML

Nội dung của Bài giảng Đặc tả hình thức Chương 11 được trình bày như sau: Cấu trúc của ESC/Java2, chạy ESC/Java2, Platform được hỗ trợ, ứng dụng dựa vào môi trường có, các tùy chọn dòng lệnh, Các file đặc tả,...Mời các bạn cùng tham khảo!

 20 p husc 31/01/2018 233 1 Download

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ách sử dụng và thuộc tính, Cấu trúc của ESC, Các file đặc tả

Nội dung chương 12 trình bày đến người học những vấn đề liên quan đến "Giới thiệu về ESC/Java2 Thủ thuật và cạm bẫy", cụ thể như: Đặc tả thừa kế, Aliasing, Object invariants, giả thuyết không nhất quán, Exposed references, old, viết đặc tả thế nào,...

 29 p husc 31/01/2018 180 1 Download

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, Thủ thuật và cạm bẫy, Đặc tả thừa kế

Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Từ khóa chính trong JML, các tính năng nâng cao, đặc tả các ngoại lệ, ngoại lệ được cho phép bởi đặc tả, đặt ra luật cho ngoại lệ, hành vi ngoại lệ,...

 28 p husc 31/01/2018 206 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, JML nâng cao, Từ khóa chính trong JML, Các tính năng nâng cao, Đặc tả các ngoại lệ, Thừa kế đặc tả

Aliasing là nguồn gốc của mọi rắc rối phức tạp. Bài giảng Đặc tả hình thức: Chương 15 do Nguyễn Thị Minh Tuyền biên soạn sau đây sẽ giúp các bạn nắm rõ kiến thức về Aliasing, trường Ghost, các trường model,...Mời các bạn cùng tham khảo!

 25 p husc 31/01/2018 189 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, JML nâng cao, Các trường model, Đặc tả không hình thức