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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Ex6.1-TableJoin.ocl2024-09-02 03:27 291  
[   ]Fig6.4a-TransactionTableGenerator.ocl2024-09-02 03:27 377  
[   ]Fig6.4b-ClientsTableGenerator.ocl2024-09-02 03:27 331  
[   ]Sect6.2.2-InnerSelect_VolumeComputation.ocl2024-09-02 03:27 423  
[   ]Sect6.2.2-OuterSelect_UpgradeCandidates.ocl2024-09-02 03:27 285  
[   ]transactions.xmi2024-09-02 03:27 22K 

Apache Server at formal.kastel.kit.edu Port 443