Index of /key/thebook/examples/06PatternDrivenFormalSpecification

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Sect6.2.2-OuterSelect_UpgradeCandidates.ocl2007-01-11 14:49 285  
[   ]Sect6.2.2-InnerSelect_VolumeComputation.ocl2007-01-11 14:49 423  
[   ]Fig6.4b-ClientsTableGenerator.ocl2007-01-11 14:49 331  
[   ]Fig6.4a-TransactionTableGenerator.ocl2007-01-11 14:49 377  
[   ]Ex6.1-TableJoin.ocl2007-01-11 14:49 291  
[   ]transactions.xmi2007-01-04 22:51 22K 

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