tailieunhanh - Bài giảng hệ điều hành : Yêu cầu người dùng part 4

Requirements Specification • Các thành phần của hồ sơ đặc tả – Đặc tả phi hình thức (Informal specifications) được viết bằng ngôn ngữ tự nhiên – Đặc tả hình thức (Formal specifications) được viết bằng tập các ký pháp có các quy định về cú pháp (syntax) và ý nghĩa (sematic) rất chặt chẽ – Đặc tả vận hành chức năng (Operational specifications) mô tả các hoạt động của hệ thống phần mềm sẽ xây dựng – Đặc tả mô tả (Descriptive specifications) – đặc tả các đặc tính đặc trưng của phần mềm. | Requirements Specification Các thành phần của hồ sơ đặc tả - Đặc tả phi hình thức Informal specifications được viết bằng ngôn ngữ tự nhiên - Đặc tả hình thức Formal specifications được viết bằng tập các ký pháp có các quy định về cú pháp syntax và ý nghĩa Sematic rất chạt chẽ - Đặc tả vận hành chức năng Operational specifications mô tả các hoạt động của hệ thống phần mềm sẽ xây dựng - Đặc tả mô tả Descriptive specifications - đặc tả các đặc tính đặc trưng của phần mềm HUT Falt. of IT Dept. of SE 2002 Requirements Specification Đặc tả chức năng Operational Specifications thông thường khi đặc tả các chức năng của phần mềm người ta sử dụng các công cụ tiêu biểu sau - Biểu đồ luồng dữ liệu Data Flow Diagrams - Máy trạng thái hữu hạn Finite State Machines - Mạng Petri Petri nets HUT Falt. of IT Dept. of SE 2002 Requirements Specification Đặc tả mô tả Descriptive Specifications - Biểu đồ thực thể liên kết EntityRelationship Diagrams - Đặc tả Logic Logic Specifications - Đặc tả đại số Algebraic Specifications HUT Falt. of IT Dept. of SE 2002 .