Index of /home/lieber/com3220/lectures

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]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