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ơ đồ
13 trang | Lượt xem: 1706 | Lượt tải: 2
114 trang | Lượt xem: 4170 | Lượt tải: 1
8 trang | Lượt xem: 635 | Lượt tải: 1
23 trang | Lượt xem: 2256 | Lượt tải: 0
64 trang | Lượt xem: 2060 | Lượt tải: 1
66 trang | Lượt xem: 3602 | Lượt tải: 3
36 trang | Lượt xem: 1992 | Lượt tải: 3
164 trang | Lượt xem: 2180 | Lượt tải: 2
33 trang | Lượt xem: 2967 | Lượt tải: 3
29 trang | Lượt xem: 2777 | Lượt tải: 5