1. TASK 2 : MATHEMATICAL STATEMENT
AMIRAH BINTI ZUFRI
A141914

2. TITLE OF SOFTWARE
REQUIREMENT
SOFTWARE
REQUIREMENT OF
ATM SYSTEM

3. Statements of
functional
requirements of the
system

4. AUTHETICATION MANAGEMENT
Two-factor authentication having been used
throughout history. When a bank customer visits
a local automated teller machine (ATM), one
authentication factor is the physical ATM card
the customer slides into the machine ("something
the user has"). The second factor is the PIN the
customer enters through the keypad ("something
the user knows"). Without the corroborating
verification of both of these factors,
authentication does not succeed. This scenario
illustrates the basic concept of most two-factor
authentication systems: the combination of a
knowledge factor and a possession factor.

5. O Customer withdraws money from the ATM. The
system issues the money and debits their
account.
O Every user withdraw money, they need to
register first. Then bank will save information of
user.
O User need password to withdraw money.
O Bank save information of user:
1. User personal information are recorded
2. User must have password to withdraw money

6. O User personal information:
firstName, lastName, address,
telephoneNumber, emailAddress.
O User can withdraw money includes:
userID, password.

7. O The functional requirements are organized in two
sections; First requirements of the ATM and
second requirements of the bank computer.
* Requirements of the ATM
- authorization process
- transaction (withdrawal process)
O * Requirements of the bank computer
- authorization process (bank code and password)
- transaction
O The non-functional requirement is bellowed.
* The ATM network has to be available 24 hours a
day.
* Each bank may be processing transactions from
several ATMs at the same time.
* The ATM must be able to use several data
formats according to the data formats that are
provided by the database of different banks.

8. THE
MATHEMATICAL
STATEMENT
OF THE FUNCTIONAL
REQUIREMENTS
(PROPOSITIONAL
CALCULUS)

9. p : user have a password
q : user can log on
r : user can withdraw money
(q ^ r) => p

10. p : amount to withdraw
q : money amount in account bank
r : valid
s :