Index of /~key/thebook/examples/05FormalSpecification/ATM_Example_OCL

Icon  Name                                          Last modified      Size  Description
[DIR] Parent Directory                                                   -   
[TXT] ATM.java                                      11-Jan-2007 12:51  1.6K  
[   ] ATM.tpr                                       11-Jan-2007 12:51  2.5K  
[   ] ATM.tws                                       11-Jan-2007 12:51  452   
[TXT] BankCard.java                                 11-Jan-2007 12:51  676   
[   ] default.txvpck                                11-Jan-2007 12:51  1.0K  
[IMG] default.txvpck.wmf                            11-Jan-2007 12:51  5.2K
Apache/2.2.15 (Linux/SUSE) Server at i12www.iti.uni-karlsruhe.de Port 80