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: 2862 | Lượt tải: 4

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 cho điện thoại di động bằng Java_Chương 5: AWT
40 trang | Lượt xem: 2226 | Lượt tải: 1
DYNAMIC DATA VỚI ADO.NET Entity Framework
15 trang | Lượt xem: 5561 | Lượt tải: 1
Bài giảng môn Lý thuyết đồ thị chương 2: Đường đi và chu trình
37 trang | Lượt xem: 3757 | Lượt tải: 3
Bài giảng Nhập môn Công nghệ phần mềm - Tuần 4: Quản trị dự án phần mềm
60 trang | Lượt xem: 939 | Lượt tải: 1
Thủ thuật sử dụng máy tính
56 trang | Lượt xem: 2626 | Lượt tải: 1
Phụ lục Turbo C++
11 trang | Lượt xem: 3153 | Lượt tải: 2
Kỹ thuật lập trình C/C++ P1
48 trang | Lượt xem: 2525 | Lượt tải: 1
Chương 3 - Ngôn ngữ lập trình
63 trang | Lượt xem: 2958 | Lượt tải: 1
Bài giảng Môn tin học
175 trang | Lượt xem: 1947 | Lượt tải: 2
Bài giảng Kỹ nghệ phần mềm - Nguyễn Văn Vỵ
8 trang | Lượt xem: 3627 | Lượt tải: 2