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ơ đồ
10 trang | Lượt xem: 1675 | Lượt tải: 1
51 trang | Lượt xem: 1632 | Lượt tải: 1
70 trang | Lượt xem: 418 | Lượt tải: 1
67 trang | Lượt xem: 2103 | Lượt tải: 5
92 trang | Lượt xem: 2907 | Lượt tải: 3
95 trang | Lượt xem: 1802 | Lượt tải: 1
56 trang | Lượt xem: 386 | Lượt tải: 1
32 trang | Lượt xem: 1903 | Lượt tải: 0
138 trang | Lượt xem: 3000 | Lượt tải: 1
352 trang | Lượt xem: 2188 | Lượt tải: 1