![[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}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| INS_ASE00.pdf | 2004-03-31 13:35 | 693K | |
| ISSTA04MSRpaper.ps | 2004-05-26 11:38 | 382K | |
| TR-2004-28.pdf | 2004-05-26 11:38 | 267K | |
| ZingLanguageSpecification.doc | 2004-04-14 12:06 | 587K | |
| ZingUserManual.doc | 2004-04-14 12:07 | 118K | |
| alloy-ref.pdf | 2004-03-31 13:52 | 256K | |
| aspectj.pdf | 2004-05-06 13:35 | 267K | |
| designpattern.pdf | 2004-05-14 10:54 | 698K | |
| dijkstra-guarded.pdf | 2004-04-26 09:34 | 470K | |
| hoare-axiomatic.pdf | 2004-04-26 09:34 | 643K | |
| index.htm | 2004-05-26 11:41 | 8.5K | |
| jackson-2000.pdf | 2004-03-29 09:41 | 192K | |
| jackson-railway.pdf | 2004-03-31 14:02 | 187K | |
| jackson-wofacs98.pdf | 2004-03-29 09:39 | 207K | |
| maggi.pdf | 2004-04-12 12:04 | 211K | |
| nakajima.pdf | 2004-04-12 12:04 | 257K | |
| p209-dingel.pdf | 2004-05-19 09:37 | 1.2M | |
| parnas.12.72.pdf | 2004-04-28 12:24 | 79K | |
| separation_concern.pdf | 2004-05-06 13:37 | 1.6M | |
| swarchintro.pdf | 2004-05-10 16:18 | 128K | |
| taghdiri_masters.pdf | 2004-04-05 09:01 | 249K | |