Giáo trình Công nghệ phần mềm - Phần 5: Đặt tả - Tài liệu, ebook, giáo trình, hướng dẫn

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

28 trang | Chia sẻ: diunt88 | Lượt xem: 2960 | Lượt tải: 4Free

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

Lập trình hướng đối tượng (Object – Oriented Programming_OOP)
8 trang | Lượt xem: 2031 | Lượt tải: 1
Chương 4 Thuật toán tham lam
42 trang | Lượt xem: 3214 | Lượt tải: 5
Chương 4: Sự kế thừa và tính đa hình
52 trang | Lượt xem: 1862 | Lượt tải: 2
Thực hành Matlab cơ bản - Worksheet 3: Ma trận trong Matlab
9 trang | Lượt xem: 1726 | Lượt tải: 1
Lập trình Opengl với thư viện AUX
43 trang | Lượt xem: 3180 | Lượt tải: 1
Bài giảng chương 5: Bảng băm (hashing table)
25 trang | Lượt xem: 3137 | Lượt tải: 1
Kĩ thuật lập trình - Chapter 17: Component - Based software engineering
55 trang | Lượt xem: 1922 | Lượt tải: 0
Giáo trình tin học cơ sở A: Ngôn ngữ lập trình C
92 trang | Lượt xem: 3543 | Lượt tải: 4
Chương 4- Tìm kiếm
40 trang | Lượt xem: 2541 | Lượt tải: 2
Bài giảng Giới thiệu XML - Lương Hán Cơ
65 trang | Lượt xem: 2615 | Lượt tải: 0