Model checking is an important technique for ensuring the correctness of investigated system. However, the model checking tools subject to the state-space explosion problem, which is an ignored hurdle to the practical application of the technique. This paper presents a case study of model checking the business flow of retail banking System, through an example of verifying automatic teller machi...

Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason for this is that designers, developers and testers all use different languages and tools, making it difficult to communicate with each other and to exchange documents. The UML 2.0 Testing Profile bridges the gap betwee...

Fatigued bills have harmful influence on the daily operation of Automated Teller Machine(ATM). To make the classification of fatigued bills more efficient, the development of an automatic fatigued bill classification method is desirable. We propose a new method to estimate the fatigue level of bill from the feature-selected frequency band acoustic energy pattern of banking machines. By using a ...

The study investigated the effect of cashless policy on economic growth in Nigeria using quarterly time series data spanning through period 2012 to 2021 while research design adopted for was ex-post facto design. Diagnostic test such as serial correlation, heteroskedasticity and Cusum were conducted. Phillip-Peron Kwiatkowski-Phillips-Schmidt-Shin (KPSS) used carry out unit root variables Auto-...

The current research empirically analyses the determinants of financial inclusion (FI) for BRICS (Brazil, Russia, India, China and South Africa) nations using no. depositors Automated Teller Machines/user as dependent variables, a proxy FI from 2004 to 2019. study employs fixed-effect, cross-section random-effect simple panel least square techniques determine different countries. empirical find...

Developing robust and refined measures to quantify strategic impacts is a major challenge facing researchers who seek to improve methods for information technology (IT) investment evaluation. This paper presents a means to test for parameter heterogeneity in a model which quantifies the strategic contribution of IT. An iterative "jackknife" procedure is used to diagnose if different local compe...

An experiment was conducted to test the relationships between users' perceptions of a computerized system's beauty and usability. The experiment used a computerized application as a surrogate for an Automated Teller Machine (ATM). Perceptions were elicited before and after the participants used the system. Pre-experimental measures indicate strong correlations between system's perceived aesthet...

An approach for guiding the construction of use case specifications is presented. A use case specification comprises contextual information of the use case, its change history, the complete graph of possible pathways, attached requirements and open issues. The proposed approach delivers a use case specification as an unambiguous natural language text. This is done by a stepwise and guided proce...

Web service is accepted by all communities of services due to its interoperability, flexibility of design and architecture. Improving performance is the key research point for developers and researchers. We propose to design, develop and implement a prototype research electronic automated teller machine web service to study the loads, performance and scalability of the service. The service is b...

The importance of automatic methods has increased greatly for paper currency recognition due to the development of modern banking services like automated teller machine (ATM) and automatic goods seller machines. For a machine, it is a challenge to recognize paper currency whether it is of 10, 20, 50, 100, 500 or 1000. Various method or algorithm has been applied to overcome this challenge and i...