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ơ đồ
51 trang | Lượt xem: 2944 | Lượt tải: 1
16 trang | Lượt xem: 820 | Lượt tải: 1
64 trang | Lượt xem: 2145 | Lượt tải: 1
30 trang | Lượt xem: 2740 | Lượt tải: 1
33 trang | Lượt xem: 1103 | Lượt tải: 1
133 trang | Lượt xem: 4287 | Lượt tải: 1
18 trang | Lượt xem: 2830 | Lượt tải: 1
37 trang | Lượt xem: 3601 | Lượt tải: 5
36 trang | Lượt xem: 1013 | Lượt tải: 1
20 trang | Lượt xem: 996 | Lượt tải: 1