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