Assignment 2 math3
Download as PPT, PDF0 likes186 views
This document outlines the software requirements for a recipe collection system. It includes 6 functional requirements that are then expressed mathematically using propositional calculus. The requirements specify that the system must have a database to store recipes and related objects, allow users to search and view recipes, add new recipes to the design, produce error reports for HTML parsing, and allow toggling of HTML markup tags. The translation of natural language requirements to mathematical statements uses logic symbols to formally define the propositions and predicates.
Assignment 2 math3
- 1. ASSIGNMENT 2 TTTR1413 MATHEMATICS 3 SOFTWARE REQUIREMENT FOR RECIPE COLLECTION SYSTEM
- 2. SITI FARRAH BTE MAZALAN A140579 1. Title: Software Requirement for Recipe Collection System 2. Statements of functional requirements of the system. •The database shall support the generation and control of configuration objects, that is objects which are themselves groupings of other objects in the database. The configuration control facilities shall allow access to the objects in a version group by the use of an incomplete name. •The user shall be able to search either all of the initial set of database or select a subset from it.
- 3. • The system shall provide appropriate viewers or mores for the user to read document in the document store. • Adds node to an existing design. The user selects the type of node and its position. When added to the design, the node becomes the current selection. The users choose the node position by moving the cursor to the area where the node is added. • The HTML Parser shall produce an error report that contains the line number and text of any HTML errors found in the parsed file and a description of each error found. If no errors are found, then error report shall not be produced. • The user shall be able to toggle between displaying and hiding all HTML markup tags in the document being edited with the activation of a specific triggering condition
- 4. 3. Assumptions, if needed. My assumption for my Recipe Collection System is this system can viewed by user and user can add new recipe and search the recipe that user want or need. This system also have database which all the data saved here and admin can access it to change anything such as add, delete or update recipe or data. This system also able to list out all the recipe according the vote that given by user. 4. The mathematical statements of the functional requirements. I have using Propositional Calculus. •The database shall support the generation and control of configuration objects, that is objects which are themselves groupings of other objects in the database. The configuration control facilities shall allow access to the objects in a version group by the use of an incomplete name.
- 5. i) p: Database q: Support the generation r: Control of configuration objects p ↔ q r∧ ii) s: objects t: grouping of other objects p: Database s t↔ p∧ iii) z: configuration control facilities x: access to the objects y: use of an incomplete name. z↔ x y∧
- 6. • The user shall be able to search either all of the initial set of database or select a subset from it. p: user shall be able to search q: the initial set of database r: select a subset p↔ q r∨ • The system shall provide appropriate viewers or ‘more’ for the user to read document in the document store p: appropriate viewers q: appropriate ‘more’ r: user to read document p q↔r∨
- 7. • Adds node to an existing design. The user selects the type of node and its position. When added to the design, the node becomes the current selection. The users choose the node position by moving the cursor to the area where the node is added. i) p: user q: the type of node r: it’s position p↔ q r∧ ii) s: added to the design t: node becomes the current selection s →t iii) v: The users choose the node position w: by moving the cursor to the area
- 8. • The HTML Parser shall produce an error report that contains the line number and text of any HTML errors found in the parsed file and a description of each error found. If no errors are found, then error report shall not be produced. i) p: The HTML Parser shall produce an error report q: the line number r: text of any HTML errors found p↔ q r∧ ii) r: text of any HTML errors found s: the parsed file t: a description of each error found r↔ s t∧
- 9. iii) ˜v: no errors are found m: error report shall not be produced. ˜v →m •The user shall be able to toggle between displaying and hiding all HTML markup tags in the document being edited with the activation of a specific triggering condition p: The user shall be able to toggle q: displaying r: hiding all HTML markup tags p↔ q r∧
- 10. 5.Your comments about the translation process from natural languages statements to mathematical statements. My comment is natural languages are from language possessed by the human intellect. Natural language is typically used for communication, written, be spoken or signed. Natural language is distinguished from constructed languages and formal languages such as computer-programming languages or the "languages" used in the study of formal logic, especially mathematical logic. Language of mathematics consists of a natural language using technical terms and grammatical conventions. Besides that, software requirement also one of the natural language that consists of functional, non-functional requirement. Translation process from natural language to mathematical statement which the system requirement as natural language change to be mathematical grammar that use either predicate calculus or propositional calculus that a few logic symbol are used in these mathematical statement such as , ↔, →, ˜, .∧ ∨
- 11. This mathematical statement creates based natural language (system requirement) using logic symbol and define the predicate or propositional variable.