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.
