Giáo trình đại cương về công nghệ phần mềm

Giáo trình đại cương về công nghệ phần mềm

Chương 1: Đại cương về công nghệ phần mềm

• Khái quát về lịch sử lập trình
• Các phương diện của công nghệ phần mềm
• Những nội dung cơ bản của công nghệ phần mềm

Chương 2: Thiết kế phần mềm

• Nền tảng của thiết kế phần mềm
• Phương pháp lập trình cấu trúc
• Cấu trúc tối thiểu
• Lập trình đơn thể
• Phát triển chương trình bằng tinh chế từng bước
• Phụ lục - Đơn vị trong Turbo Pascal

Chương 3: Hợp thức hóa phần mềm

• Xác minh và hợp thức hóa phần mềm
• Chứng minh sự đúng đắn của chương trình
• Xây dựng chương trình
• Các tiêu đề và quy tắc suy diễn
• Bài tập

Chương 4: Thử nghiệm chương trình

• Khảo sát phần mềm
• Các phương pháp thử nghiệm

Chương 5: Đặc tả phần mềm

• Mở đầu đặc tả phần mềm
• Đặc tả cấu trúc dữ liệu
• Đặc tả đại số: mô hình hóa phát triển phần mềm
• Đặc tả hay cánh cụ thể hóa sự trừu tượng

==========================

Tải về giáo trình miễn phí tại đây:

================================================

Baca juga