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ơ đồ
15 trang | Lượt xem: 1933 | Lượt tải: 3
24 trang | Lượt xem: 963 | Lượt tải: 1
69 trang | Lượt xem: 2541 | Lượt tải: 1
14 trang | Lượt xem: 1185 | Lượt tải: 1
16 trang | Lượt xem: 3750 | Lượt tải: 4
168 trang | Lượt xem: 2499 | Lượt tải: 1
3 trang | Lượt xem: 632 | Lượt tải: 1
15 trang | Lượt xem: 1794 | Lượt tải: 1
56 trang | Lượt xem: 665 | Lượt tải: 1
15 trang | Lượt xem: 2324 | Lượt tải: 1