[Impressum] [E-Mail]

E-Ticket

E-Ticket is an electronic ticket system that uses smart cards to store tickets.
A card owner can buy tickets over the internet from a personal computer as well as show and delete these tickets.
An inspector can validate these tickets with an inspector device without internet connection.



Begin the walkthrough

Jump to selected documents

• Deployment and Class diagrams
• Activity diagrams: buy a ticket and recover a not received one
• Activity diagrams: stamp tickets
• Activity diagrams: set a password, show all tickets and delete tickets
• Generated source code
  
• Generated formal model with proofs