Math statemnt
Download as DOCX, PDF0 likes131 views
The document outlines functional requirements for a report and suggestion system and provides both natural language and mathematical statements of the requirements. The requirements include allowing users to define external file types and associate tools with each type. Icons should represent file types and users should be able to define icon representations. Selecting an icon for a file type should apply the associated tool to that file. The translation process from natural language to mathematical statements requires understanding the requirements and choosing appropriate logic to accurately represent them.
Math statemnt
- 1. Name : Siti Nurul Afifi Binti Ghazali Matrik No. : A141560 Title : Software requirement for Report and Suggestion System Statements of functional requirements of the system 1. The user should be provided with facilities to define the type of external file. 2. Each external file type may have an associated tool which may be applied to the file. 3. Each external file type may be represented as a specific icon on the user display. 4. Facilities should be provided for the icon representing an external file type to be defined by the user. 5. When a user selects an icon representing an external file, the effect of the selection is to apply the tool associated with the type of the external file to the file represented by the selected icon. The mathematical statements of the functional requirements 1. Let p : User provided q : facilities r : define type of external file
- 2. Then p ^ q => r 2. m ϵ ext_file_type│assotd_tool(m) ᵛapp_to_file(m) 3. n ϵ ext_file_type│specific_icon(n) ^ user_display(n) 4. Let p : facilities provided q : icon representing r : define by user Then p ^ q r 5. Let user_select : user selects an icon representing external file apply_associated_tool : apply the tool associated with the type of external file selected_icon : file represented the selected icon Then User_select ^ apply_associated_tool selected_icon Your comments about the translation process from natural languages statements to mathematical statements. Process to translate the software requirement from natural language to mathematical statements is not a easy process because the first step is we must understand first about the software requirement and after that decide which mathematical statement should use either propositional or predicate. When understand the requirement it make easier for me to translate the requirement. I hope my decision to translate the requirement is correct and appropriate with the requirement.