Tài liệu Thư viện số
Danh mục TaiLieu.VN
Kết quả 397-408 trong khoảng 686
Bài giảng Đặc tả hình thức: Chương 8 - Nguyễn Thị Minh Tuyền
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 216 1
Bài giảng Đặc tả hình thức: Chương 9 - Nguyễn Thị Minh Tuyền
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 284 1
Bài giảng Đặc tả hình thức: Chương 10 - Nguyễn Thị Minh Tuyền
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 228 1
Bài giảng Đặc tả hình thức: Chương 11 - Nguyễn Thị Minh Tuyền
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 219 1
Bài giảng Đặc tả hình thức: Chương 12 - Nguyễn Thị Minh Tuyền
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 166 1
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 148 1
Bài giảng Đặc tả hình thức: Chương 14 - Nguyễn Thị Minh Tuyền
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 191 1
Bài giảng Đặc tả hình thức: Chương 15 - Nguyễn Thị Minh Tuyền
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 176 1
Mô hình ước lượng chi phí xử lý truy vấn đối tượng trong cơ sở dữ liệu hướng đối tượng
Trong bài báo này, các tác giả nghiên cứu mô hình chi phí trên các khối dựng sẵn trong xử lý truy vấn với các yếu tố chi phí cơ sở, trong đó có sự xem xét bổ sung chi phí xử lý trên các lớp sưu tập gộp nhóm. Mời các bạn cùng tham khảo nội dung chi tiết.
11 p husc 31/01/2018 234 1
Trong bài báo này, các tác giả để xuất các giải pháp xây dựng phép toán ADN như một phép tích hợp có trọng số và sử dụng giải thuật di truyền để xác định toàn bộ trọng số tối ưu cho phép tích hợp này. Mời các bạn cùng tham khảo nội dung chi tiết.
11 p husc 31/01/2018 200 1
Thuật toán khai thác tập thường xuyên hiệu quả dựa trên kỹ thuật phân lớp dữ liệu
Trong bài báo này các tác giả đề xuất phương án giải quyết bài toán trên bằng cách phân hoạch dữ liệu thành N lớp, mỗi lớp được lưu trữ độc lập thành 1 file trên bộ nhớ ngoài và đề xuất thuật toán SPP-Mining để khai thác các tập thường xuyên với ngưỡng So tùy ý và được xử lý song song trên N máy.
12 p husc 31/01/2018 215 1
Định lượng ngữ nghĩa khoảng của đại số gia tử với việc bổ sung một gia tử đặc biệt
This paper introduces a new method of quantification of hedge algebras, which is different from the ordinary method by the fact that an artificial hedge h0 should be added to model the contextdependent semantics of terms. It is aimed to represent the change of the semantics of any term x of length k appeared in the context X(k+1) of terms with the length k+ 1, so the meaning of a term will be changed when its adjacent terms are changed.
13 p husc 31/01/2018 237 1
Đăng nhập
Bộ sưu tập nổi bật
Tuyển tập tác phẩm văn học hay
15 6938
Bộ sưu tập tài liệu Toán học hay
24 7207
17 10817