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 dhsphue 31/01/2018 194 1 Download

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 dhsphue 31/01/2018 187 1 Download

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 dhsphue 31/01/2018 176 1 Download

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 dhsphue 31/01/2018 190 1 Download

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 dhsphue 31/01/2018 172 1 Download

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 dhsphue 31/01/2018 195 1 Download

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 dhsphue 31/01/2018 175 1 Download

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 dhsphue 31/01/2018 187 2 Download

Bài giảng Tin học đại cương: Chương 1 Phương pháp giải quyết bài toán bằng máy tính số trình bày các nội dung sau: Các khái niệm cơ bản về máy tính số, lịch sử phát triển máy tính số, dữ liệu & chương trình, qui trình tổng quát giải quyết bài toán bằng máy tính số, phân tích bài toán từ-trên-xuống.

 20 p dhsphue 31/01/2018 194 1 Download

Bài giảng Tin học đại cương: Chương 2 cung cấp cho người học các kiến thức: Cơ bản về việc lưu trữ và xử lý tin trong máy tính, cơ bản về hệ thống số, các phương pháp chuyển miêu tả số, biểu diễn dữ liệu trong máy tính, hệ thống file, quản lý hệ thống file.

 50 p dhsphue 31/01/2018 243 1 Download

Bài giảng Tin học đại cương: Chương 3 được 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ác khái niệm cơ bản về mô hình hướng đối tượng, các đối tượng giao diện của VB 6.0, hiệu chỉnh thuộc tính của các đối tượng giao diện, tạo thủ tục xử lý sự kiện của các đối tượng giao diện.

 22 p dhsphue 31/01/2018 224 1 Download

Chương 4 trình bày về "Qui trình thiết kế trực quan giao diện của ứng dụng". Nội dung cụ thể của chương này gồm có: Dự án và ứng dụng, tạo/xóa đối tượng giao diện, hiệu chỉnh giá trị thuộc tính của đối tượng giao diện, tạo menubar, tạo Toolbar, tạo và viết thủ tục xử lý sự kiện.

 36 p dhsphue 31/01/2018 210 1 Download