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ơ đồ
23 trang | Lượt xem: 685 | Lượt tải: 1
75 trang | Lượt xem: 2505 | Lượt tải: 1
43 trang | Lượt xem: 2369 | Lượt tải: 1
53 trang | Lượt xem: 2201 | Lượt tải: 1
11 trang | Lượt xem: 715 | Lượt tải: 1
34 trang | Lượt xem: 4324 | Lượt tải: 1
46 trang | Lượt xem: 1961 | Lượt tải: 2
11 trang | Lượt xem: 2531 | Lượt tải: 1
68 trang | Lượt xem: 853 | Lượt tải: 1
308 trang | Lượt xem: 2692 | Lượt tải: 1