MỤC LỤC

Trang

Đề cương chi tiết 1

Mở đầu 1

I. Thiết kế và cấu trúc dữ liệu 3

1. Các đóng góp 3

2. Miền ứng dụng 4

3. Cấu trúc dữ liệu so với các kỹ thuật luồng dữ liệu 5

4. Cấu trúc dữ liệu so với thiết kế hướng sự vật 5

II. Xem xét tiến trình thiết kế 6

III. Phát triển hệ thống Jackson 7

1. Các bước thiết kế JSD 9

2. Bước chức năng 13

3. Bước đặt thời gian hệ thống 20

4. Bước đã cài đặt 21

5. Biểu diễn thủ tục 24

IV. Phát triển hệ thống có cấu trúc dữ liệu 26

1. Cách tiếp cận thiết kế đã đơn giản hoá 26

2. Suy diễn về cấu trúc cái ra logic 28

3. Suy dẫn ra cấu trúc xử lí logic 29

4. Logic xử lí phức tạp 31

Kết Luận 35