CSci 161.10: Software Engineering II
Department of Computer Science
The George Washington University, Spring 2009
CRN 41739 (Lab 42081)Ticket System Informal Specifications
An automated ticket-issuing system sells rail tickets. Users select their destination and input a credit card and a personal identification number. The rail ticket is issued and their credit card account charged. When the user presses the start button, a menu display of potential destinations is activated, along with a message to the user to select a destination. Once a destination has been selected, users are requested to input their credit card. Its validity is checked and the user is then requested to input a personal identified. When the credit transaction has been validated, the ticket is issued.
mmburke@gwu.edu Modified: Tue Feb 3 09:06:46 EDT 2009