Index of /home/lieber/com3220/lectures

 Name                    Last modified       Size  

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