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: 2911 | 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

Bài giảng Lập trình căn bản: Kiểu tập tin
10 trang | Lượt xem: 2249 | Lượt tải: 4
Lập trình PHP căn bản
18 trang | Lượt xem: 2962 | Lượt tải: 1
Bài giảng Ngôn ngữ lập trình C - Chương 2: Các yếu tố cơ bản của ngôn ngữ C - Nguyễn Thị Hiền
54 trang | Lượt xem: 1077 | Lượt tải: 2
Bài giảng chương 6: Ràng buộc toàn vẹn
38 trang | Lượt xem: 2825 | Lượt tải: 0
Bài giảng chương 11: Dùng Dialogs
15 trang | Lượt xem: 2459 | Lượt tải: 1
Lập trình hướng đối tượng C++
52 trang | Lượt xem: 4327 | Lượt tải: 1
Phần 2 - Chương 3 Các câu lệnh đơn trong C
19 trang | Lượt xem: 1996 | Lượt tải: 1
Bài giảng chương 2: Các phương pháp lập trình
14 trang | Lượt xem: 2289 | Lượt tải: 2
Bài giảng Mảng, con trỏ, tham chiếu
10 trang | Lượt xem: 2252 | Lượt tải: 1
Lập trình hướng đối tượng trong JAVA - Hoàng Mạnh Hà
12 trang | Lượt xem: 2245 | Lượt tải: 0