Index of /~allen/courses/cs260/readings

	Name	Last modified	Size	Description
	Parent Directory		-
	DBC.pdf	2005-08-30 10:05	61K
	Diakonpaper.pdf	2005-08-30 10:04	261K
	JMLintro.pdf	2005-08-30 10:04	90K
	JMLverification.pdf	2005-08-30 10:04	174K
	OCL.pdf	2005-08-30 10:04	353K
	OCL2.pdf	2005-08-30 10:04	169K
	OCL3.pdf	2005-08-30 10:04	95K
	OCLmore.pdf	2005-08-30 10:04	101K
	TMP2xtnom2yuw.htm	2005-08-31 09:40	4.2K
	UMLOCLspecs.pdf	2005-08-30 10:05	275K
	UMLZAlloycomparison.pdf	2005-08-30 10:05	183K
	UMLactivitydiagrams.pdf	2005-08-30 10:05	257K
	UMLclassdiagrams.pdf	2005-08-30 10:05	184K
	UMLclassspecs.pdf	2005-08-30 10:05	367K
	amey.pdf	2005-08-30 10:04	118K
	ch12.pdf	2005-08-30 10:04	286K
	comparisonalloyumlz.pdf	2005-08-30 10:04	183K
	eclipse-overview.pdf	2003-02-19 16:07	361K
	esc-java-basics.pdf	2005-08-30 10:04	2.4M
	esc-java-checking.pdf	2005-08-30 10:04	2.0M
	escjavapaper.ps	2005-08-30 10:04	530K
	gordonlectures.pdf	2005-08-30 10:04	528K
	hoare.pdf	2005-08-30 10:05	643K
	hoareproof.ppt	2005-08-30 10:04	181K
	hoareproof2.ppt	2005-08-30 10:04	232K
	indexf05.html	2005-08-31 13:37	4.3K
	indexs05.html	2005-08-30 10:04	7.5K
	jmlconcurrency.pdf	2005-08-30 10:04	229K
	jmlrefman.pdf	2005-08-30 10:04	1.0M
	jmltoolsoverview.pdf	2005-08-30 10:04	216K
	leavens.pdf	2005-08-30 10:04	161K
	loop.pdf	2005-08-30 10:04	278K
	ocluseintro.pdf	2005-08-30 10:04	93K
	sevenmoremyths.pdf	2005-08-30 10:05	1.3M
	sevenmyths.pdf	2005-08-30 10:05	1.4M
	theproject/	2005-08-30 10:05	-
	therac.pdf	2005-08-30 10:05	78K
	theraclong.pdf	2005-08-30 10:05	793K
	unused readings/	2005-08-31 11:25	-
	vanlaamswerde.pdf	2005-08-30 10:05	82K
	whysoftwarebad.html	2005-08-30 10:05	29K
	ztutorial.pdf	2005-08-30 10:05	71K