TimTaiLieu.vn - Tài liệu, ebook, giáo trình, đồ án, luận văn

Mở đầu  Những lưu ý:  Phân tích:  Lập các mô hình thế giới thực: Mô hình dữ liệu, Các ràng buộc, Mô hình xử lý, Mô hình trạng thái, Mô hình thời gian, Mô hình không gian.  Đặc tả: Các sơ đồ, Các phát biểu về ràng buộc, Các quy định về công thức tính toán, Thiết kế dữ liệu, Các hàm kiểm tra ràng buộc.  Thiết kế:  Lập mô hình phần mềm: ...

41 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 482 | Lượt tải: 1

Nội dung  Ch1. Giới thiệu về Đặc tả hình thức  Ch2. Cơ sở Toán học trong VDM  Ch3. Mô hình hóa dữ liệu, kiểu tập hợp  Ch4. Dữ liệu kiểu mảng, chuỗi  Ch5. Đặc tả hàm  Ch6. Kiểu đối tượng phức  Ch7. Kiểu ánh xạ  Ch8. Giới thiệu sơ lược về Z

18 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 612 | Lượt tải: 1

1. Thông tin chung về học phần - Tên học phần: Lập trình mạng Nâng Cao (Advance Network Programming) - Mã số học phần : 1250224 - Số tín chỉ học phần : 4 (3+1) tín chỉ - Thuộc chương trình đào tạo của bậc, ngành: Bậc Đại học, ngành Công nghệ thông tin - Số tiết học phần :  Nghe giảng lý thuyết : 45 tiết  Làm bài tập trên lớp : 0 tiết  Th...

10 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 544 | Lượt tải: 1

1. Thông tin chung về học phần - Tên học phần : Lập trình mạng (Network Programming) - Mã số học phần : 1250094 - Số tín chỉ học phần : 4 (3+1) tín chỉ - Thuộc chương trình đào tạo của bậc, ngành: Bậc Đại học, ngành Công nghệ thông tin - Số tiết học phần :  Nghe giảng lý thuyết : 45 tiết  Làm bài tập trên lớp : 0 tiết  Thảo luận : 0 tiết...

10 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 549 | Lượt tải: 1

1. Thông tin chung về học phần - Tên học phần : Lập trình an toàn (Programming Security) - Mã số học phần : 1250104 - Số tín chỉ học phần : 4 (3+1) tín chỉ - Thuộc chương trình đào tạo của bậc, ngành: Bậc Đại học, ngành Công nghệ thông tin - Số tiết học phần :  Nghe giảng lý thuyết : 45 tiết  Làm bài tập trên lớp : 0 tiết  Thảo luận : 0 ...

8 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 596 | Lượt tải: 1

1. Thông tin chung về học phần - Tên học phần: Lập trình quản lý (Application Programming) - Mã số học phần: 1230204 - Số tín chỉ học phần: 4 (3 + 1) tín chỉ - Thuộc chương trình đào tạo của bậc, ngành: Đại học / Công nghệ thông tin - Số tiết học phần:  Nghe giảng lý thuyết : 45 tiết  Làm bài tập trên lớp : 0 tiết  Thảo luận : 0 tiết  ...

12 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 473 | Lượt tải: 1

1. Thông tin chung về học phần - Tên học phần: Phân tích và Thiết kế Hệ thống Thông tin (System Analysis and Design) - Mã số học phần: 1221144 - Số tín chỉ học phần: 4 (3+1) tín chỉ - Thuộc chương trình đào tạo của bậc, ngành: Đại học, ngành Công nghệ Thông tin - Số tiết học phần:  Nghe giảng lý thuyết : 30 tiết  Làm bài tập trên lớp : 10...

8 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 739 | Lượt tải: 1

1. Thông tin chung về học phần - Tên học phần : Nhập Môn Lập Trình (Introduction to Programming) - Mã số học phần : 1250064 - Số tín chỉ học phần : 4 (3+1) - Thuộc chương trình đào tạo của bậc, ngành: Bậc Đại học, ngành Công nghệ thông tin - Số tiết học phần :  Nghe giảng lý thuyết : 45 tiết  Làm bài tập trên lớp : 0 tiết  Thảo luận : 0 ...

8 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 567 | Lượt tải: 1

1. Thông tin chung về học phần - Tên học phần : Lý Thuyết Đồ Thị (Graph Theory) - Mã số học phần : 1221124 - Số tín chỉ học phần : 4 (3+1) tín chỉ - Thuộc chương trình đào tạo của bậc, ngành: Bậc Đại học, ngành Công nghệ thông tin - Số tiết học phần :  Nghe giảng lý thuyết : 45 tiết  Làm bài tập trên lớp : 0 tiết  Thảo luận : 0 tiết  T...

13 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 587 | Lượt tải: 1

1. Thông tin chung về học phần - Tên học phần : Kỹ thuật Lập trình (Programming Technique) - Mã số học phần : 1250074 - Số tín chỉ học phần : 4 (3+1) tín chỉ - Thuộc chương trình đào tạo của bậc, ngành: Bậc Đại học, ngành Công nghệ thông tin - Số tiết học phần :  Nghe giảng lý thuyết : 45 tiết  Làm bài tập trên lớp : 0 tiết  Thảo luận : ...

8 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 501 | Lượt tải: 1