Giáo trình Công nghệ phần mềm - Phần 5: Đặt tả
Giới thiệu: - Được đề xuất bới Jean René Abrial ở Đại học Oxford - Ngôn ngữ đặc tả hình thức được sử dụng rộng rãi nhất - Dựa trên lý thuyết tập hợp - Ký hiệu toán học - Sử dụng các sơ đồ
TimTaiLieu.vn - Tài liệu, ebook, giáo trình, đồ án, luận văn
TimTaiLieu.vn - Thư viện tài liệu, ebook, đồ án, luận văn, tiểu luận, giáo trình, hướng dẫn tự học
Giới thiệu: - Được đề xuất bới Jean René Abrial ở Đại học Oxford - Ngôn ngữ đặc tả hình thức được sử dụng rộng rãi nhất - Dựa trên lý thuyết tập hợp - Ký hiệu toán học - Sử dụng các sơ đồ
40 trang | Lượt xem: 2154 | Lượt tải: 2
11 trang | Lượt xem: 851 | Lượt tải: 1
9 trang | Lượt xem: 912 | Lượt tải: 1
65 trang | Lượt xem: 3485 | Lượt tải: 2
21 trang | Lượt xem: 1213 | Lượt tải: 0
86 trang | Lượt xem: 2454 | Lượt tải: 3
30 trang | Lượt xem: 3382 | Lượt tải: 1
39 trang | Lượt xem: 2192 | Lượt tải: 0
11 trang | Lượt xem: 1049 | Lượt tải: 1
70 trang | Lượt xem: 941 | Lượt tải: 1