Index of /key/thebook/examples/06PatternDrivenFormalSpecification

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[TXT] transactions.xmi                            2024-09-02 03:27   22K  
[   ] Sect6.2.2-OuterSelect_UpgradeCandidates.ocl 2024-09-02 03:27  285   
[   ] Sect6.2.2-InnerSelect_VolumeComputation.ocl 2024-09-02 03:27  423   
[   ] Fig6.4b-ClientsTableGenerator.ocl           2024-09-02 03:27  331   
[   ] Fig6.4a-TransactionTableGenerator.ocl       2024-09-02 03:27  377   
[   ] Ex6.1-TableJoin.ocl                         2024-09-02 03:27  291
Apache Server at i12www.iti.kit.edu Port 80