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: 544 | Lượt tải: 1
6 trang | Lượt xem: 1453 | Lượt tải: 2
72 trang | Lượt xem: 1508 | Lượt tải: 3
19 trang | Lượt xem: 809 | Lượt tải: 2
70 trang | Lượt xem: 1784 | Lượt tải: 1
101 trang | Lượt xem: 3165 | Lượt tải: 3
174 trang | Lượt xem: 393 | Lượt tải: 1
36 trang | Lượt xem: 737 | Lượt tải: 0
105 trang | Lượt xem: 1732 | Lượt tải: 1
22 trang | Lượt xem: 1575 | Lượt tải: 0