Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Testing-LoD.ppt | 1999-05-28 17:41 | 27K | ||
isDJsound.PPT | 1999-04-22 16:21 | 86K | ||
catalysis1.ppt | 1999-04-22 16:19 | 237K | ||
model-checking.ppt | 1998-06-15 18:07 | 382K | ||
spec-pat.ppt | 1998-06-15 18:06 | 53K | ||
ocl.ppt | 1998-06-15 18:02 | 181K | ||
lec8-test.ppt | 1998-06-15 18:00 | 13K | ||
lec7-test.ppt | 1998-06-15 18:00 | 11K | ||
lec5-test.ppt | 1998-06-15 17:59 | 12K | ||
lec4-test.ppt | 1998-06-15 17:59 | 36K | ||
lec3-test.ppt | 1998-06-15 17:59 | 33K | ||
lec2-test.ppt | 1998-06-15 17:58 | 29K | ||
lec-cd-equiv.ppt | 1998-06-15 17:57 | 280K | ||
design-by-contract.ppt | 1998-06-15 17:56 | 107K | ||
dependability.ppt | 1998-06-15 17:56 | 38K | ||
dahl1.ppt | 1998-06-15 17:56 | 124K | ||
COM3220.PPT | 1998-06-15 17:55 | 150K | ||
APPCs-testing.ppt | 1998-06-15 17:55 | 135K | ||
lec6-test.ppt | 1998-06-02 13:53 | 97K | ||
lec8-cd-equiv-test.ppt | 1998-06-02 13:51 | 86K | ||
trav-theory-aoos.ppt | 1998-05-19 17:00 | 219K | ||
trav-theory-aoos.PDF | 1998-05-19 17:00 | 99K | ||
lec7-test.PDF | 1998-05-19 16:54 | 2.3K | ||
ocl.PDF | 1998-05-12 13:26 | 87K | ||
use-cases.ppt | 1998-05-12 13:24 | 35K | ||
use-cases.PDF | 1998-05-12 13:24 | 9.9K | ||
APPCs-testing.PDF | 1998-05-12 13:24 | 443K | ||
lec6-test.PDF | 1998-05-12 13:23 | 18K | ||
lec5-test.PDF | 1998-05-05 13:52 | 2.0K | ||
model-checking.PDF | 1998-04-21 13:53 | 503K | ||
design-by-contract.PDF | 1998-04-21 13:50 | 15K | ||
lec4-test.PDF | 1998-04-21 13:46 | 17K | ||
lec3-test.PDF | 1998-04-14 16:04 | 15K | ||
VeriSoft.PDF | 1998-04-07 15:50 | 3.7K | ||
VeriSoft.ppt | 1998-04-07 15:44 | 15K | ||
lec2-test.PDF | 1998-04-07 15:44 | 6.5K | ||
Rapide1.PDF | 1998-04-07 15:44 | 83K | ||
Rapide1.ppt | 1998-04-07 15:43 | 93K | ||
lec1-test.ppt | 1998-03-31 09:57 | 217K | ||
lec1-test.PDF | 1998-03-31 09:57 | 39K | ||
dahl1.PDF | 1998-03-31 09:57 | 50K | ||
dependability.PDF | 1998-03-31 09:57 | 9.4K | ||