Index of /courses/cse503/04sp/readings

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]index.htm2004-05-26 11:41 8.5K 
[   ]parnas.12.72.pdf2004-04-28 12:24 79K 
[   ]ZingUserManual.doc2004-04-14 12:07 118K 
[   ]swarchintro.pdf2004-05-10 16:18 128K 
[   ]jackson-railway.pdf2004-03-31 14:02 187K 
[   ]jackson-2000.pdf2004-03-29 09:41 192K 
[   ]jackson-wofacs98.pdf2004-03-29 09:39 207K 
[   ]maggi.pdf2004-04-12 12:04 211K 
[   ]taghdiri_masters.pdf2004-04-05 09:01 249K 
[   ]alloy-ref.pdf2004-03-31 13:52 256K 
[   ]nakajima.pdf2004-04-12 12:04 257K 
[   ]aspectj.pdf2004-05-06 13:35 267K 
[   ]TR-2004-28.pdf2004-05-26 11:38 267K 
[   ]ISSTA04MSRpaper.ps2004-05-26 11:38 382K 
[   ]dijkstra-guarded.pdf2004-04-26 09:34 470K 
[   ]ZingLanguageSpecification.doc2004-04-14 12:06 587K 
[   ]hoare-axiomatic.pdf2004-04-26 09:34 643K 
[   ]INS_ASE00.pdf2004-03-31 13:35 693K 
[   ]designpattern.pdf2004-05-14 10:54 698K 
[   ]p209-dingel.pdf2004-05-19 09:37 1.2M 
[   ]separation_concern.pdf2004-05-06 13:37 1.6M 

Apache/2.4.62 (Rocky Linux) OpenSSL/3.2.2 mod_fcgid/2.3.9 mod_wsgi/4.7.1 Python/3.9 Server at courses.cs.washington.edu Port 443