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

Xã hội Đại Việt thời Lê sơ mang những nét đặc trưng căn bản khác hoàn toàn so với các vương triều trước và sau nó. Trong đó phải kể đến sự lên ngôi của tầng lớp trí thức Nho học, sự suy giảm vị trí, vai trò của tầng lớp quý tộc hay sự phổ biến của địa chủ, tá điền... Những nét đặc trưng này khiến cho chế độ phong kiến Việt Nam cơ...

 8 p husc 31/07/2019 243 1 Download

Từ khóa: Cấu trúc xã hội Đại Việt thời Lê sơ, Sự hình thành nhà Lê sơ, Tầng lớp trí thức Nho học, Quan hệ địa chủ - tá điền, Chế độ phong kiến Việt Nam, Quan hệ bóc lột

Mời các bạn tham khảo Bài giảng Cơ sở dữ liệu nâng cao - Chương 3: Cơ sở dữ liệu suy diễn sau đây để bổ sung thêm những kiến thức về khái niệm CSDL suy diễn, cách sử dụng logic, hình thức hóa và đánh giá các câu truy vấn đệ quy.

 50 p husc 25/02/2019 231 1 Download

Từ khóa: Cơ sở dữ liệu nâng cao, Bài giảng Cơ sở dữ liệu nâng cao, Cơ sở dữ liệu suy diễn, Cách sử dụng logic, Câu truy vấn đệ quy, Hình thức hóa câu truy vấn đệ quy

Bài giảng “Sinh học đại cương - Chương 3: Sự phân bào và sinh sản của sinh vật” cung cấp cho người học các kiến thức: Chu kỳ tế bào và quá trình nguyên phân, giảm phân và quá trình hình thành giao tử, các hình thức sinh sản ở thực vật. Mời các bạn cùng tham khảo.

 24 p husc 27/09/2018 340 1 Download

Từ khóa: Bài giảng Sinh học đại cương, Sinh học đại cương, Sự phân bào, Sinh sản của sinh vật, Hình thức sinh sản ở thực vật, Nguyên phân tế bào

Bài giảng "Tinh thể học đại cương - Chương 4: Hình thái của tinh thể" cung cấp cho người học các kiến thức: Hình thái tinh thể thực, dạng đơn tinh thể, dạng tập hợp tinh thể. Mời các bạn cùng tham khảo nội dung chi tiết.

 36 p husc 07/05/2018 259 1 Download

Từ khóa: Bài giảng Tinh thể học đại cương, Tinh thể học đại cương, Hình thái tinh thể, Hình thái tinh thể thực, Dạng đơn tinh thể, Dạng tập hợp tinh thể

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 244 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 295 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

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

 38 p husc 31/01/2018 208 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình động trong Alloy, Các mô hình tĩnh, Các vị từ frame condition

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 255 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 322 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 262 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 255 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ả

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 207 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