Index of /home/lieber/com3220/lectures

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