Index of /~key/thebook/examples/06PatternDrivenFormalSpecification

Icon  Name                                        Last modified      Size  Description
[DIR] Parent Directory                                                 -   
[   ] Ex6.1-TableJoin.ocl                         11-Jan-2007 14:49  291   
[   ] Fig6.4a-TransactionTableGenerator.ocl       11-Jan-2007 14:49  377   
[   ] Fig6.4b-ClientsTableGenerator.ocl           11-Jan-2007 14:49  331   
[   ] Sect6.2.2-InnerSelect_VolumeComputation.ocl 11-Jan-2007 14:49  423   
[   ] Sect6.2.2-OuterSelect_UpgradeCandidates.ocl 11-Jan-2007 14:49  285   
[TXT] transactions.xmi                            04-Jan-2007 22:51   22K
Apache/2.2.8 (Linux/SUSE) Server at i12www.iti.uni-karlsruhe.de Port 80