Đang chuẩn bị liên kết để tải về tài liệu:
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 SE-III.16 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 SE-III.17 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 .