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ơ đồ
24 trang | Lượt xem: 1839 | Lượt tải: 1
13 trang | Lượt xem: 2480 | Lượt tải: 1
46 trang | Lượt xem: 2506 | Lượt tải: 1
60 trang | Lượt xem: 1131 | Lượt tải: 0
65 trang | Lượt xem: 1742 | Lượt tải: 0
7 trang | Lượt xem: 1869 | Lượt tải: 1
49 trang | Lượt xem: 817 | Lượt tải: 0
4 trang | Lượt xem: 1935 | Lượt tải: 3
8 trang | Lượt xem: 749 | Lượt tải: 1
34 trang | Lượt xem: 1886 | Lượt tải: 2