» Từ khóa: bài tậ

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 pdu 31/01/2018 151 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 pdu 31/01/2018 144 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 pdu 31/01/2018 128 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 pdu 31/01/2018 121 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 pdu 31/01/2018 108 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 pdu 31/01/2018 100 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 pdu 31/01/2018 110 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

Nối tiếp phần 1 cuốn "Bài giảng Dịch tễ học thú y" mời các bạn cùng tìm hiểu phần 2 để nắm bắt một số thông tin cơ bản về các thông số đo lường dịch tễ học; dịch tễ học mô tả; dịch tễ học phân tích; phương pháp nghiên cứu thực nghiệm; phương pháp chọn mẫu và tính số mẫu nghiên cứu.

 63 p pdu 30/03/2017 120 1 Download

Từ khóa: Bài giảng Dịch tễ học thú y, Dịch tễ học thú y, Dịch tễ học, Thông số đo lường dịch tễ học, Dịch tễ học mô tả, Dịch tễ học phân tích

Cuốn sách "Những bài văn mẫu dành cho học sinh lớp 6" có kết cấu nội dung gồm 3 phần: Phần một văn tự sự, phần hai văn miêu tả, phần ba một số bài viết tham khảo. Mời các bạn cùng tham khảo nội dung cuốn sách để có thêm tài liệu học tập và ôn thi.

 105 p pdu 29/01/2016 128 1 Download

Từ khóa: Sách Những bài văn mẫu lớp 6, Văn mẫu dành cho học sinh lớp 6, Những bài văn mẫu lớp 6, Văn tự sự, Văn miêu tả, Một số bài văn tham khảo lớp 6

Bài giảng Công tác văn thư, lưu trữ trong cơ quan, tổ chức do Trần Hoàng Hạnh biên soạn nhằm mục tiêu giúp cho các bạn có thể hiểu được nội dung cơ bản công tác văn thư, lưu trữ; trách nhiệm đối với công tác văn thư, lưu trữ; vị trí, ý nghĩa công tác văn thư, lưu trữ đối với họat động quản lý.

 86 p pdu 22/12/2015 118 1 Download

Từ khóa: Công tác văn thư lưu trữ, Bài giảng Công tác văn thư lưu trữ, Văn thư trong cơ quan tổ chức, Lưu trữ trong cơ quan tổ chức, Trách nhiệm với công tác văn thư, Ý nghĩa công tác văn thư

Phần 1 Bài giảng môn Hệ thống thông tin kế toán 2 gồm nội dung chương 1 đến chương 3, trình bày tổng quan về hệ thống thông tin kế toán, các công cụ mô tả hệ thống thông tin kế toán, các chu trình kế toán. Mời bạn đọc tham khảo nội dung phần 1 bài giảng.

 30 p pdu 11/11/2014 190 2 Download

Từ khóa: Bài giảng Hệ thống thông tin kế toán 2, Hệ thống thông tin kế toán Phần 1, Tổng quan về hệ thống thông tin kế toán, Công cụ mô tả hệ thống thông tin kế toán, Chu trình kế toán, Nguyên lý kế toán

Tài liệu tham khảo các bài tập về phương pháp bảo toàn khối lượng

 40 p pdu 17/01/2012 127 2 Download

Từ khóa: khoa học tự nhiên, hóa học, phương pháp bảo toàn khối lượng, định luật bảo toàn khối lượng, bài tậ