- 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 307 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 Lập trình Java: Bài 15 - Bùi Trọng Tùng
Bài 15 - Thiết kế hướng đối tượng. Trong chương này người học sẽ tìm hiểu một số nội dung cơ bản như: MVC là gì? Java Swing và MVC, xây dựng phần mềm theo mô hình MVC, các bước xử lý yêu cầu người dùng, Unified Modeling Language, các biểu đồ UML chính,... Mời các bạn cùng tham khảo.
18 p cuc 27/10/2016 504 1
Từ khóa: Lập trình Java, Bài giảng Lập trình Java, Ngôn ngữ lập trình Java, Thiết kế hướng đối tượng, Unified Modeling Language, Mô hình MVC
Đăng nhập