1. UMMI ZAKIAH BINTI ZAINODIN
A142134

2. 
SOFTWARE
REQUIREMENT OF
ATM BANKING
SYSTEM

3. STATEMENTS OF
FUNCTIONAL
REQUIREMENT OF
ATM BANKING SYSTEM

4. 
 Definition: For the users to be able to use this system, they have to enter
username and password which they have created before and been saved in the
database in the Login page. The user might be a customer or an Admin also.
 Inputs: Username and password.
 Outputs: The system will state whether inputs are correct or not.
 Pre conditions: The user must have signed in the system and have a valid
username and password. Then the system will show the main page to the valid
customer and display message “welcome to the internet banking system
please click on the left menu bar to choose your option!” he/she can make
has/her transaction, but if the user made wrong in username or password then
he/she will be invalid user and will see a message “Alert Invalid Username and
Password” and to login again.
 Post conditions: The user will enter the main page of him/her self.
1. LOGIN

5. 
 Definition: Transfer Funds allows customer to transfer funds between
authorized accounts – own personal accounts. Requested transfer take place
immediately or at a selected future date specified by customer.
 Inputs: amount, target account and TAC. Also if he/she wants to enter his/her
e-mail, and select the current account or saving account.
 Outputs: the system will display Transfer Funds function for transfer funds or
Transfer History function for display the transaction he/she done.
 Pre conditions: The customer must be a valid customer and signed in the
system.
 Post conditions: The customer clicks on the logout button or select other
functionality options.
2. TRANSFER FUNDS

6. 
 A customer must be able to make a balance inquiry of any
account linked to the card.
3. GET BALANCE INFORMATION

7. 
 A customer must be able to make a cash withdraw from any suitable account
linked to the card, in multiples of $20.00. Approval must be obtained from the
bank before cash is dispensed.
 The ATM will communicate each transaction to the bank and obtain verification
that it was allowed by the bank. In the case of a cash withdraw or deposit, a
second message will be sent after the transaction has been physically
completed (cash dispensed or envelope accepted).
4. WITHDRAW CASH

8. 
ASSUMPTIONS
 Hardware never fails
 ATM casing
 Limited number of transactions per day i.e sufficient
number of receipts.
 Limited amount money of withdrawn per day i.e
sufficient money.

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

10. 
p = user have a Password
q = user have a valid card
r = user can login
(p ^ q)=>r
LOGIN

11. 
p = authorized account
q = amount to transfer
r = target account
s = transfer funds
(p^q) U (p^r) => s
TRANSFER FUNDS

12. 
p = authorized account
q = make transaction
q = does not make transaction
s = balance information is appear
i. ( p^q) => s
ii. ( p^r) =>s
GET BALANCE INFORMATION

13. 
p = authorized account
q = amount of withdraw
r = money cash
( p^q ) => r
WITHDRAW CASH

14. 
In my opinion, I can say that the translation from Natural
Languages to mathematical statement is we can choose either
we want to present it in a propositional calculus or predicate
calculus.
Comments about the translation process
from natural languages statements to
mathematical statements