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ơ đồ

pdf28 trang | Chia sẻ: diunt88 | Lượt xem: 2616 | Lượt tải: 4download
Bạn đang xem trước 20 trang tài liệu Giáo trình Công nghệ phần mềm - Phần 5: Đặt tả, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên