I. Phơng pháp luận về phân tích và thiết kế hệ thống
2. Phơng pháp làm bản mẫu
3.7. Phát triển thiết kế hệ thống máy tính
- Xác nhận chi tiết tiến trình máy tính bằng cách kiểm tra từng kiểu thực thể từ mô hình dữ liệu và tạo một danh sách liên tiếp các sự kiện mà hoạt động của chúng sẽ ảnh hởng tới nó. Mỗi thuộc tính trong thực thể có thể biến đổi giá trị bởi một hay nhiều hành động. Tất cả các hành động hớng tới sự kiện có ảnh hởng tới từng kiểu thực thể riêng biệt sẽ đợc kiểm tra lại đối với các tiến trình trên sơ đồ dòng dữ liệu. Nếu chúng không thuộc một quá trình sơ đồ dòng dữ liệu nào thì cần xem xét lại. Ta biết thứ tự của sự kiện có liên quan đến một thực thể có thể rất quan trọng, chẳng hạn trong trờng hợp công ty quy định việc thanh toán tiền mua hàng chỉ đợc thực hiện sau khi đã có hóa đơn bán hàng của bên bán và sự xác nhận đã nhận đợc hàng của thủ kho, thì nếu việc thanh toán không có xác nhận thì có thể sai sót. Với những nơi cần xem xét ta có thể thuộc tính báo trạng thái vào kiểu của thực thể.
- áp dụng các kiểm soát cần thiết bao gồm việc kiểm tra toàn bộ hệ thống đã thể hiện trong sơ đồ dòng dữ liệu và xác định những kiểm soát cần áp dụng. Những cái cần chú ý nhất làdữ liệu đa ra tác nhân bên ngoài và dữ liệu lu trữ bên trong hệ thống (có thể bị thâm nhập trái phép). Qua đó cần đề ra một số kiểm soát trong phần đặc tả.
- Tập hợp các thành phần của hệ thống máy tính bao gồm phối hợp các tiến trình máy tính thành hệ thống con, các bộ chơng trình các modun và ch- ơng trình con. Ta sử dụng sơ đồ dòng dữ liệu máy tính để thực hiện chơng trình này, nó tơng đơng với mô hình hoá xử lý trực tuyến và theo lô