16 search results - page 1 / 4 » The Formal Design Model of an Automatic Teller Machine (ATM) |
IJSSCI
2010
13 years 2 months ago
2010
IADIS
2003
13 years 9 months ago
2003
There are several factors that have been influencing and creating deep changes in the Portuguese banking sector. Among these, we can highlight technological innovation, the increa...
JSA
2008
13 years 7 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
SEKE
2004
Springer
14 years 1 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
DAGSTUHL
2004
13 years 9 months ago
2004
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 ...