- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện Điện Tử
Danh mục TaiLieu.VN
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 cuc 31/01/2018 305 1
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
Bài giảng môn Lập trình hướng đối tượng - Chương 3: Giới thiệu Java
Bài giảng môn "Lập trình hướng đối tượng - Chương 3: Giới thiệu Java" trình bày lịch sử phát triển của Java, đặc trưng của Java, tổng quan lập trình Java, kiến trúc chương trình xây dựng trên Java, Case Study I. Mời các bạn cùng tham khảo nội dung chi tiết.
35 p cuc 24/02/2017 359 2
Từ khóa: Lập trình hướng đối tượng, Bài giảng Lập trình hướng đối tượng, Giới thiệu Java, Ngôn ngữ lập trình, Tổng quan lập trình Java, Case Study I
Đăng nhập