» Từ khóa: hình thức

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 244 1 Download

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 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 239 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, Nguyên tử và quan hệ, Quan hệ đơn phân

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 278 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 238 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 265 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 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 274 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 263 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 207 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ế

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 187 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ảnh báo, Các loại cảnh báo ESC/Java2, Deadlock warnings

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 234 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ả

Trình bày tổng quan về mạng WSN như: khái niệm, cấu trúc, đặc trưng và các ứng dụng mạng WSN. Định tuyến trong mạng cảm biến không dây: đưa ra các vấn đề phải đối mặt khi định tuyến, đưa ra các giao thức định tuyến đang được dùng trong mạng cảm biến để phân tích cơ chế hoạt động của từng giao thức định tuyến LEACH, LEACH-C và TEEN....

 12 p husc 10/01/2018 413 1 Download

Từ khóa: Công nghệ thông tin, Mạng cảm biến, Cảm biến không dây, Giao thức định tuyến, Định tuyến phân cấp, Truyền dữ liệu, Thiết lập cụm, Mô hình phần mềm.

Trình bày tổng quan về hệ thống giám sát thông minh, trong đó nêu những vấn đề cơ bản trong hệ thống giám sát và đưa ra các phương pháp tiếp cận để giải quyết, các ứng dụng hệ thống Camera giám sát an ninh và cảnh báo về hành vi bất thường. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 5 p husc 23/10/2017 304 1 Download

Từ khóa: Công nghệ thông tin, Hệ thống giám sát, Hệ thống camera, Hiệu ảnh trực tuyến, Mô hình nền, Mô hình dự báo, Mô hình mô tả, Bộ dữ liệu thực nghiệm.