ASSIGNMENT 2TTTR1413 MATHEMATICS 3

SOFTWARE REQUIREMENT FOR RECIPE COLLECTION SYSTEM

SITI FARRAH BTE MAZALANA140579

 

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.

• 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

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.

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∧

• 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∨

• 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

w →v

• 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∧

iii)

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∧

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 , ↔, →, ˜, . ∧ ∨

This mathematical statement creates based natural language (system requirement)

using logic symbol and define the predicate or propositional variable.