SlideShare une entreprise Scribd logo
1  sur  10
TASK 2 : MATHEMATICAL STATEMENT
AMIRAH BINTI ZUFRI
A141914
TITLE OF SOFTWARE
REQUIREMENT
SOFTWARE
REQUIREMENT OF
ATM SYSTEM
Statements of
functional
requirements of the
system
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.
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
O User personal information:
firstName, lastName, address,
telephoneNumber, emailAddress.
O User can withdraw money includes:
userID, password.
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.
THE
MATHEMATICAL
STATEMENT
OF THE FUNCTIONAL
REQUIREMENTS
(PROPOSITIONAL
CALCULUS)
p : user have a password
q : user can log on
r : user can withdraw money
(q ^ r) => p
p : amount to withdraw
q : money amount in account bank
r : valid
s :

Contenu connexe

Tendances

Out sources of atm
Out sources of atmOut sources of atm
Out sources of atm
Dharmik
 
Presentation on security feature of atm (2)
Presentation on security feature of atm (2)Presentation on security feature of atm (2)
Presentation on security feature of atm (2)
Siya Agarwal
 

Tendances (13)

Out sources of atm
Out sources of atmOut sources of atm
Out sources of atm
 
Atm software ppt
Atm software pptAtm software ppt
Atm software ppt
 
Atm reconciliation manual
Atm reconciliation manualAtm reconciliation manual
Atm reconciliation manual
 
Presentation on security feature of atm (2)
Presentation on security feature of atm (2)Presentation on security feature of atm (2)
Presentation on security feature of atm (2)
 
Presentationonsecurityfeatureofatm2 130621034116-phpapp02
Presentationonsecurityfeatureofatm2 130621034116-phpapp02Presentationonsecurityfeatureofatm2 130621034116-phpapp02
Presentationonsecurityfeatureofatm2 130621034116-phpapp02
 
Atm security
Atm securityAtm security
Atm security
 
Atm
AtmAtm
Atm
 
Working of ATM machine : For all those who wanted to know the internal workin...
Working of ATM machine : For all those who wanted to know the internal workin...Working of ATM machine : For all those who wanted to know the internal workin...
Working of ATM machine : For all those who wanted to know the internal workin...
 
C program for hnb atm machine original - updated - [pys]
C program for hnb atm machine   original - updated - [pys]C program for hnb atm machine   original - updated - [pys]
C program for hnb atm machine original - updated - [pys]
 
How an ATM transaction really works (and how testing fits in)
How an ATM transaction really works (and how testing fits in)How an ATM transaction really works (and how testing fits in)
How an ATM transaction really works (and how testing fits in)
 
ATM(AUTOMATIC TELLER MACHINE)-HISTORY,TYPES, WORKING, STRUCTURE
ATM(AUTOMATIC TELLER MACHINE)-HISTORY,TYPES, WORKING, STRUCTUREATM(AUTOMATIC TELLER MACHINE)-HISTORY,TYPES, WORKING, STRUCTURE
ATM(AUTOMATIC TELLER MACHINE)-HISTORY,TYPES, WORKING, STRUCTURE
 
Project security
Project securityProject security
Project security
 
Fingerprint Authentication for ATM
Fingerprint Authentication for ATMFingerprint Authentication for ATM
Fingerprint Authentication for ATM
 

En vedette

ο υπέροχος κόσμος του National geographic [66]
ο υπέροχος κόσμος του National geographic [66]ο υπέροχος κόσμος του National geographic [66]
ο υπέροχος κόσμος του National geographic [66]
pinnokio.gr
 
ισοβίτης κακές παρέες
ισοβίτης   κακές παρέεςισοβίτης   κακές παρέες
ισοβίτης κακές παρέες
pinnokio.gr
 
η τεχνολογία των αρχαίων ελλήνων
η τεχνολογία των αρχαίων ελλήνωνη τεχνολογία των αρχαίων ελλήνων
η τεχνολογία των αρχαίων ελλήνων
pinnokio.gr
 
Praktikum fisika
Praktikum fisikaPraktikum fisika
Praktikum fisika
Mip Ta
 
καστράτο γάτα είναι και γυρίζει
καστράτο   γάτα είναι και γυρίζεικαστράτο   γάτα είναι και γυρίζει
καστράτο γάτα είναι και γυρίζει
pinnokio.gr
 
John Sherwood Resume QA
John Sherwood Resume QAJohn Sherwood Resume QA
John Sherwood Resume QA
John Sherwood
 

En vedette (16)

The Role of Search in Media Mix SEMPO Cities Houston
The Role of Search in Media Mix SEMPO Cities HoustonThe Role of Search in Media Mix SEMPO Cities Houston
The Role of Search in Media Mix SEMPO Cities Houston
 
Task 2
Task 2Task 2
Task 2
 
Dhirubahai ambani
Dhirubahai ambaniDhirubahai ambani
Dhirubahai ambani
 
Bola
BolaBola
Bola
 
New Era of Search - Bing Ads - Christi Olson
New Era of Search - Bing Ads - Christi OlsonNew Era of Search - Bing Ads - Christi Olson
New Era of Search - Bing Ads - Christi Olson
 
ο υπέροχος κόσμος του National geographic [66]
ο υπέροχος κόσμος του National geographic [66]ο υπέροχος κόσμος του National geographic [66]
ο υπέροχος κόσμος του National geographic [66]
 
опера и мюзикл
опера и мюзиклопера и мюзикл
опера и мюзикл
 
ισοβίτης κακές παρέες
ισοβίτης   κακές παρέεςισοβίτης   κακές παρέες
ισοβίτης κακές παρέες
 
η τεχνολογία των αρχαίων ελλήνων
η τεχνολογία των αρχαίων ελλήνωνη τεχνολογία των αρχαίων ελλήνων
η τεχνολογία των αρχαίων ελλήνων
 
Praktikum fisika
Praktikum fisikaPraktikum fisika
Praktikum fisika
 
Barkley Portfolio
Barkley PortfolioBarkley Portfolio
Barkley Portfolio
 
Lviv forest
Lviv forestLviv forest
Lviv forest
 
καστράτο γάτα είναι και γυρίζει
καστράτο   γάτα είναι και γυρίζεικαστράτο   γάτα είναι και γυρίζει
καστράτο γάτα είναι και γυρίζει
 
DDWNE: Understanding Attribution Models & Audience Remarketing
DDWNE: Understanding Attribution Models & Audience RemarketingDDWNE: Understanding Attribution Models & Audience Remarketing
DDWNE: Understanding Attribution Models & Audience Remarketing
 
John Sherwood Resume QA
John Sherwood Resume QAJohn Sherwood Resume QA
John Sherwood Resume QA
 
TAG Presents: NetSuite SuiteFlow 101
TAG Presents: NetSuite SuiteFlow 101 TAG Presents: NetSuite SuiteFlow 101
TAG Presents: NetSuite SuiteFlow 101
 

Similaire à Task 2

srs_ATM_example_for_reference.pdf
srs_ATM_example_for_reference.pdfsrs_ATM_example_for_reference.pdf
srs_ATM_example_for_reference.pdf
RohitKumar259878
 
vu-re-lecture-33 requirement engineering.ppt
vu-re-lecture-33 requirement engineering.pptvu-re-lecture-33 requirement engineering.ppt
vu-re-lecture-33 requirement engineering.ppt
ubaidullah75790
 
SRS for banking system requirement engineer.ppt
SRS for banking system requirement engineer.pptSRS for banking system requirement engineer.ppt
SRS for banking system requirement engineer.ppt
ubaidullah75790
 
Ijcsi 9-4-2-457-462
Ijcsi 9-4-2-457-462Ijcsi 9-4-2-457-462
Ijcsi 9-4-2-457-462
Hai Nguyen
 

Similaire à Task 2 (20)

Design.pptx
Design.pptxDesign.pptx
Design.pptx
 
QR BASED CARD-LESS ATM TRANSACTIONS
QR BASED CARD-LESS ATM TRANSACTIONSQR BASED CARD-LESS ATM TRANSACTIONS
QR BASED CARD-LESS ATM TRANSACTIONS
 
ATM System Description and functional and non- functional Requirements
ATM System Description and functional and non- functional RequirementsATM System Description and functional and non- functional Requirements
ATM System Description and functional and non- functional Requirements
 
srs_ATM_example_for_reference.pdf
srs_ATM_example_for_reference.pdfsrs_ATM_example_for_reference.pdf
srs_ATM_example_for_reference.pdf
 
ATM Banking
ATM BankingATM Banking
ATM Banking
 
IRJET- Secured Merchant Payment using Biometric Transaction
IRJET-  	  Secured Merchant Payment using Biometric TransactionIRJET-  	  Secured Merchant Payment using Biometric Transaction
IRJET- Secured Merchant Payment using Biometric Transaction
 
vu-re-lecture-33 requirement engineering.ppt
vu-re-lecture-33 requirement engineering.pptvu-re-lecture-33 requirement engineering.ppt
vu-re-lecture-33 requirement engineering.ppt
 
Assignment
AssignmentAssignment
Assignment
 
Electronic Payment Protocol
Electronic Payment ProtocolElectronic Payment Protocol
Electronic Payment Protocol
 
Atm
AtmAtm
Atm
 
An Enhanced Automated Teller Machine Security Prototype using Fingerprint Bio...
An Enhanced Automated Teller Machine Security Prototype using Fingerprint Bio...An Enhanced Automated Teller Machine Security Prototype using Fingerprint Bio...
An Enhanced Automated Teller Machine Security Prototype using Fingerprint Bio...
 
SRS for banking system requirement engineer.ppt
SRS for banking system requirement engineer.pptSRS for banking system requirement engineer.ppt
SRS for banking system requirement engineer.ppt
 
SRS for banking system requirement s.ppt
SRS for banking system requirement s.pptSRS for banking system requirement s.ppt
SRS for banking system requirement s.ppt
 
ATM.pptx
ATM.pptxATM.pptx
ATM.pptx
 
Presentation On ATM Technology
Presentation On ATM TechnologyPresentation On ATM Technology
Presentation On ATM Technology
 
Service Management Digital Services
Service Management Digital ServicesService Management Digital Services
Service Management Digital Services
 
Atm fraud case study of commercial bank in pakistan
Atm fraud  case study of commercial bank in pakistanAtm fraud  case study of commercial bank in pakistan
Atm fraud case study of commercial bank in pakistan
 
Atm machine
Atm machineAtm machine
Atm machine
 
Ppt
PptPpt
Ppt
 
Ijcsi 9-4-2-457-462
Ijcsi 9-4-2-457-462Ijcsi 9-4-2-457-462
Ijcsi 9-4-2-457-462
 

Dernier

Call Girls in Tilak Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in Tilak Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7Call Girls in Tilak Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in Tilak Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7
9953056974 Low Rate Call Girls In Saket, Delhi NCR
 
Call Girls in Yamuna Vihar (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in  Yamuna Vihar  (delhi) call me [🔝9953056974🔝] escort service 24X7Call Girls in  Yamuna Vihar  (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in Yamuna Vihar (delhi) call me [🔝9953056974🔝] escort service 24X7
9953056974 Low Rate Call Girls In Saket, Delhi NCR
 

Dernier (20)

Explore Dual Citizenship in Africa | Citizenship Benefits & Requirements
Explore Dual Citizenship in Africa | Citizenship Benefits & RequirementsExplore Dual Citizenship in Africa | Citizenship Benefits & Requirements
Explore Dual Citizenship in Africa | Citizenship Benefits & Requirements
 
CBD Belapur((Thane)) Charming Call Girls📞❤9833754194 Kamothe Beautiful Call G...
CBD Belapur((Thane)) Charming Call Girls📞❤9833754194 Kamothe Beautiful Call G...CBD Belapur((Thane)) Charming Call Girls📞❤9833754194 Kamothe Beautiful Call G...
CBD Belapur((Thane)) Charming Call Girls📞❤9833754194 Kamothe Beautiful Call G...
 
Call Girls in Tilak Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in Tilak Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7Call Girls in Tilak Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in Tilak Nagar (delhi) call me [🔝9953056974🔝] escort service 24X7
 
Famous No1 Amil Baba Love marriage Astrologer Specialist Expert In Pakistan a...
Famous No1 Amil Baba Love marriage Astrologer Specialist Expert In Pakistan a...Famous No1 Amil Baba Love marriage Astrologer Specialist Expert In Pakistan a...
Famous No1 Amil Baba Love marriage Astrologer Specialist Expert In Pakistan a...
 
Solution Manual For Financial Statement Analysis, 13th Edition By Charles H. ...
Solution Manual For Financial Statement Analysis, 13th Edition By Charles H. ...Solution Manual For Financial Statement Analysis, 13th Edition By Charles H. ...
Solution Manual For Financial Statement Analysis, 13th Edition By Charles H. ...
 
Significant AI Trends for the Financial Industry in 2024 and How to Utilize Them
Significant AI Trends for the Financial Industry in 2024 and How to Utilize ThemSignificant AI Trends for the Financial Industry in 2024 and How to Utilize Them
Significant AI Trends for the Financial Industry in 2024 and How to Utilize Them
 
Call Girls Howrah ( 8250092165 ) Cheap rates call girls | Get low budget
Call Girls Howrah ( 8250092165 ) Cheap rates call girls | Get low budgetCall Girls Howrah ( 8250092165 ) Cheap rates call girls | Get low budget
Call Girls Howrah ( 8250092165 ) Cheap rates call girls | Get low budget
 
W.D. Gann Theory Complete Information.pdf
W.D. Gann Theory Complete Information.pdfW.D. Gann Theory Complete Information.pdf
W.D. Gann Theory Complete Information.pdf
 
Call Girls in Yamuna Vihar (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in  Yamuna Vihar  (delhi) call me [🔝9953056974🔝] escort service 24X7Call Girls in  Yamuna Vihar  (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in Yamuna Vihar (delhi) call me [🔝9953056974🔝] escort service 24X7
 
Test bank for advanced assessment interpreting findings and formulating diffe...
Test bank for advanced assessment interpreting findings and formulating diffe...Test bank for advanced assessment interpreting findings and formulating diffe...
Test bank for advanced assessment interpreting findings and formulating diffe...
 
Dubai Call Girls Deira O525547819 Dubai Call Girls Bur Dubai Multiple
Dubai Call Girls Deira O525547819 Dubai Call Girls Bur Dubai MultipleDubai Call Girls Deira O525547819 Dubai Call Girls Bur Dubai Multiple
Dubai Call Girls Deira O525547819 Dubai Call Girls Bur Dubai Multiple
 
Thane Call Girls , 07506202331 Kalyan Call Girls
Thane Call Girls , 07506202331 Kalyan Call GirlsThane Call Girls , 07506202331 Kalyan Call Girls
Thane Call Girls , 07506202331 Kalyan Call Girls
 
Kopar Khairane Cheapest Call Girls✔✔✔9833754194 Nerul Premium Call Girls-Navi...
Kopar Khairane Cheapest Call Girls✔✔✔9833754194 Nerul Premium Call Girls-Navi...Kopar Khairane Cheapest Call Girls✔✔✔9833754194 Nerul Premium Call Girls-Navi...
Kopar Khairane Cheapest Call Girls✔✔✔9833754194 Nerul Premium Call Girls-Navi...
 
logistics industry development power point ppt.pdf
logistics industry development power point ppt.pdflogistics industry development power point ppt.pdf
logistics industry development power point ppt.pdf
 
20240419-SMC-submission-Annual-Superannuation-Performance-Test-–-design-optio...
20240419-SMC-submission-Annual-Superannuation-Performance-Test-–-design-optio...20240419-SMC-submission-Annual-Superannuation-Performance-Test-–-design-optio...
20240419-SMC-submission-Annual-Superannuation-Performance-Test-–-design-optio...
 
Premium Call Girls Bangalore Call Girls Service Just Call 🍑👄6378878445 🍑👄 Top...
Premium Call Girls Bangalore Call Girls Service Just Call 🍑👄6378878445 🍑👄 Top...Premium Call Girls Bangalore Call Girls Service Just Call 🍑👄6378878445 🍑👄 Top...
Premium Call Girls Bangalore Call Girls Service Just Call 🍑👄6378878445 🍑👄 Top...
 
cost-volume-profit analysis.ppt(managerial accounting).pptx
cost-volume-profit analysis.ppt(managerial accounting).pptxcost-volume-profit analysis.ppt(managerial accounting).pptx
cost-volume-profit analysis.ppt(managerial accounting).pptx
 
✂️ 👅 Independent Bhubaneswar Escorts Odisha Call Girls With Room Bhubaneswar ...
✂️ 👅 Independent Bhubaneswar Escorts Odisha Call Girls With Room Bhubaneswar ...✂️ 👅 Independent Bhubaneswar Escorts Odisha Call Girls With Room Bhubaneswar ...
✂️ 👅 Independent Bhubaneswar Escorts Odisha Call Girls With Room Bhubaneswar ...
 
Webinar on E-Invoicing for Fintech Belgium
Webinar on E-Invoicing for Fintech BelgiumWebinar on E-Invoicing for Fintech Belgium
Webinar on E-Invoicing for Fintech Belgium
 
Certified Kala Jadu, Black magic specialist in Rawalpindi and Bangali Amil ba...
Certified Kala Jadu, Black magic specialist in Rawalpindi and Bangali Amil ba...Certified Kala Jadu, Black magic specialist in Rawalpindi and Bangali Amil ba...
Certified Kala Jadu, Black magic specialist in Rawalpindi and Bangali Amil ba...
 

Task 2

  • 1. TASK 2 : MATHEMATICAL STATEMENT AMIRAH BINTI ZUFRI A141914
  • 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.
  • 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 :