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