Bài giảng Đặc tả hình thức: Chương 4 Số và kiểu mảng, cung cấp cho người đọc những kiến thức như: Số và mảng; ngôn ngữ Z mô tả các dạng số; các hàm và thao tác trên mảng/chuỗi. Mời các bạn cùng tham khảo!

 28 p hiu 26/03/2023 60 1 Download

Bài giảng Đặc tả hình thức: Chương 1 Tổng quan, cung cấp cho người đọc những kiến thức như: Đặc tả hình thức và quy trình công nghệ phần mềm; Ngôn ngữ và đặc tả; Một số ngôn ngữ đặc tả hình thức; Đặc tả và công nghệ phần mềm. Mời các bạn cùng tham khảo!

 21 p hiu 26/03/2023 169 104 Download

Bài giảng Đặc tả hình thức cung cấp các kiến thức liên quan đến hướng tiếp cận xây dựng phần mềm dùng đặc tả hình thức; Môn học bao gồm các chương liên quan đến các thành phần cơ sở trong đặc tả hình thức nói chung (Tâp hợp, Hàm, Dãy,...), và cụ thể hơn trong các chương về đặc tả với VDM và Z.

 6 p hiu 26/03/2023 148 101 Download

Bài giảng Đặc tả hình thức: Chương 7 Kiểu ánh xạ, cung cấp cho người đọc những kiến thức như: Ánh xạ; Các hàm và thao tác trên ánh xạ; Đặc tả sử dụng ánh xạ. Mời các bạn cùng tham khảo!

 22 p hiu 26/03/2023 64 1 Download

Bài giảng Đặc tả hình thức: Chương 6 Kiểu đối tượng phức, cung cấp cho người đọc những kiến thức như: Định nghĩa kiểu đối tượng phức; Khởi tạo đối tượng phức; Ràng buộc trên kiểu dữ liệu; Cập nhật đối tượng phức. Mời các bạn cùng tham khảo!

 21 p hiu 26/03/2023 57 0 Download

Bài giảng Đặc tả hình thức: Chương 8 Ngôn ngữ đặc tả Z, cung cấp cho người đọc những kiến thức như: Giới thiệu; Các thành phần của ngôn ngữ; Giản đồ; Các phép toán trên giản đồ. Mời các bạn cùng tham khảo!

 47 p hiu 26/03/2023 140 102 Download

Ebook A+ guide to managing and maintaining your PC (Eighth edition): Part 1 presents the following content: Chapter 1: first look at computer parts and tools; chapter 2: working inside a computer; chapter 3: introducing windows operating systems; chapter 4: all about motherboards; chapter 5: supporting processors and upgrading memory; chapter 6: supporting hard drives; chapter 7: installing windows; chapter 8: supporting I/O and storage...

 661 p hiu 26/02/2023 157 120 Download

Ebook A+ guide to managing and maintaining your PC (Eighth edition): Part 1 presents the following content: Chapter 13: troubleshooting hardware problems; chapter 14: troubleshooting windows startup problems; chapter 15: connecting to and setting up a network; chapter 16: networking types, devices, and cabling; chapter 17: windows resources on a network; chapter 18: security strategies; chapter 19: supporting notebooks; chapter 20: mobile...

 668 p hiu 26/02/2023 161 118 Download

Bài giảng Công nghệ phần mềm: Chương 1 Tổng quan về công nghệ phần mềm, được biên soạn với mục tiêu nhằm giúp sinh viên hiểu rõ các khái niệm liên quan đến phần mềm và công nghệ phần mềm được trình bày trong phần 1; Biết được một số nguyên tắc cơ bản về tính chuyên nghiệp và đúng nguyên tắc đối với kỹ sư phần mềm. Mời các bạn...

 40 p hiu 26/02/2023 159 96 Download

Bài giảng Công nghệ phần mềm: Chương 9 được biên soạn gồm các nội dung chính sau: Quy trình kiểm thử; Kiểm thử hệ thống và bài tập. Mời các bạn cùng tham khảo!

 27 p hiu 26/02/2023 146 87 Download

Bài giảng Công nghệ phần mềm: Chương 2 Quy trình xây dựng phần mềm, được biên soạn với mục tiêu nhằm giúp sinh viên hiểu rõ quy trình phần mềm; Nắm được một số mô hình phát triển phần mềm; Xác định chi tiết những công việc phải làm trong quy trình phần mềm và cách thực hiện chúng. Mời các bạn cùng tham khảo!

 33 p hiu 26/02/2023 159 86 Download

Bài giảng Công nghệ phần mềm: Chương 6 được biên soạn gồm các nội dung chính sau: Thiết kế kiến trúc là gì?; Tổ chức hệ thống; Phân rã hệ thống; Các chiến lược điều khiển; Các kiến trúc tham chiếu. Mời các bạn cùng tham khảo!

 31 p hiu 26/02/2023 54 1 Download