Giáo trình Công nghệ phần mềm - Phần 2 - Phan Huy Khánh

(Bản scan) Sau đây ta sẽ trả lời câu hỏi về mục đích (cho ai, cho cái gì) của các công việc mà ta đã làm. Vai trò đầu tiên của một đặc tả là cho phép mở ra các tranh luận về đề tài đặc tả đề tài đặc tả để cập đến. Thực tế, khác với một chương trình, một đặc không phải viết ra để máy tính có thể hiểu được mà để cho những NSD có thể hiểu và tin tưởng vào tính đúng đắn của nội dung đã đặc tả. Từ đặc tả lúc đầu ở mục 3 cho đến các đặc tả tiếp theo ở các mục 4, 6, 8 và 8, ta đã sử dụng các ràng buộc mỗi lúc một mang tính thực tiễn. Ta đã khẳng định được tỉnh đúng đắn của đặc tả bởi các chứng minh định lý phù hợp và chấp nhận được : bảo toàn tỉnh bất biến.