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ơ đồ
25 trang | Lượt xem: 1970 | Lượt tải: 1
18 trang | Lượt xem: 2396 | Lượt tải: 0
7 trang | Lượt xem: 878 | Lượt tải: 1
239 trang | Lượt xem: 4077 | Lượt tải: 1
252 trang | Lượt xem: 2101 | Lượt tải: 5
22 trang | Lượt xem: 648 | Lượt tải: 1
42 trang | Lượt xem: 2298 | Lượt tải: 0
25 trang | Lượt xem: 1598 | Lượt tải: 2
34 trang | Lượt xem: 566 | Lượt tải: 1
29 trang | Lượt xem: 2384 | Lượt tải: 1