Chuyên Đề Kĩ thuật phân tích và phương pháp hình thức hoá trong công nghệ phần mềm

Kĩ thuật phân tích và phương pháp hình thức hoá trong công nghệ phần mềm
MỤC LỤC

CHƯƠNG I
TỔNG QUAN VỀ CÔNG NGHỆ PHẦN MỀM 2
I. GIỚI THIỆU CHUNG VỀ PHẦN MỀM 2
1.Định nghĩa 2
2.Tầm quan trọng của SW 2
2.1 Vai trò tiến hoá của SW 3
2.2 Vai trò của SW trong việc phát triển HTMT 4
3.Ứng dụng của SW 4
3.1 SW hệ thống 4
3.2 SW thời gian thực 5
3.3 SW nghiệp vụ 5
3.4 SW khoa học và công nghệ 6
3.5 SW nhúng 6
3.6 SW máy tính cá nhân 6
3.7 SW trí tụê nhân tạo(AI) 6
II. CÔNG NGHỆ PHẦN MỀM 7
1 Khái niệm 7
2.Lịch sử và xu hướng phát triển của CNPM 8

CHƯƠNG II
PHÂN TÍCH YÊU CẦU 10
I.KHÁI NIỆM 10
II.QUY TRÌNH PHÂN TÍCH YÊU CẦU 11
III.NGUYÊN LÍ PHÂN TÍCH 13
1. Miền thông tin của vấn đề phải được diễn đạt lại và hiểu rõ. 14
2.Miền thông tin 14
3 Mô hình hoá 15
4.Phân hoạch 16
5.Cái nhìn bản chất và cài đặt 16

CHƯƠNG III
CÁC KĨ THUẬT PHÂN TÍCH VÀ PHƯƠNG PHÁP HÌNH THỨC HOÁ TRONG CNPM 18
I KHÁI QUÁT CHUNG VỀ KĨ THUẬT VÀ PHƯƠNG PHÁP TRONG CNPM 18
II. KĨ THUẬT PHÂN TÍCH VÀ CÁC PHƯƠNG PHÁP HÌNH THỨC HOÁ TRONG CNPM 20
1.Phương pháp phân tích yêu cầu 20
1.1 Các đặc trưng chung 21
1.2 Sự khác biệt trong phương pháp phân tích 21
2. Phân tích có cấu trúc 22
2.1 Biểu đồ luồng dữ liệu DFD (data flow diagram) 23
2.2 Mở rộng cho các hệ thống thời gian thực 24
2.3 Cơ chế của phân tích có cấu trúc 27
2.3.1 Tạo ra mô hình luồng dữ liệu 27
2.3.2 Tạo ra mô hình luồng điều khiển 28
2.3.4 Đặc tả điều khiển và đặc tả tiến trình 28
2.4 Phân tích có cấu trúc và Case 29
3.Phân tích hướng sự vật 29
3.1 Khái niệm hướng sự vật 30
3.2 Mô hình hoá phân tích hướng sự vật 31
4. Phương pháp mô hình hoá dữ liệu 32
4.1 Khái niệm 32
4.2 Kĩ thuật mô hình hoá dữ liệu 32
5. Phương pháp hướng cấu trúc dữ liệu 34
5.1 Đặc điểm của phương pháp hướng cấu trúc dữ liệu 34
5.2 Phương pháp luận Warnier – Orr 35
5.3 Phát triển hệ thống JACKSON 37
6. Kĩ thuật phân tích và thiết kế có cấu trúc (SADT) 39
7. Kĩ thuật đặc tả hình thức 39
8. Kĩ thuật tự động hoá 40
8.1 Phương pháp luận kĩ nghệ yêu cầu phần mềm(SREM) 40
8.2 Ngôn ngữ phát biểu vấn đề/Bộ phân tích phát biểu vấn đề (PSL/PSA) 40
8.3 Công nghệ cho việc sinh tự động hệ thống (TAGS) 41
KẾT LUẬN 42