![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| papers/ | 2006-04-04 15:09 | - | |
| hw3.htm | 2006-05-15 12:07 | 1.4K | |
| hw1.htm | 2006-03-28 08:24 | 4.0K | |
| money.zip | 2006-04-25 09:56 | 9.6K | |
| hw2.pdf | 2006-04-06 09:49 | 14K | |
| hw1-and-hw2-solution.htm | 2006-04-05 10:23 | 16K | |
| index.htm | 2006-05-25 11:42 | 19K | |
| FirstDayQuestionnaire.pdf | 2006-03-26 19:43 | 37K | |
| correctness.pdf | 2006-04-01 22:05 | 44K | |
| correctness2.pdf | 2006-04-02 19:26 | 45K | |
| design-reliability.pdf | 2006-04-27 13:32 | 226K | |
| analysis.pdf | 2006-05-09 08:50 | 236K | |
| test-selection.pdf | 2006-05-04 23:16 | 553K | |
| CrosscuttingConcern-Slide.pdf | 2006-05-16 15:15 | 704K | |
| state-charts.pdf | 2006-04-12 09:17 | 713K | |
| evolution.pdf | 2006-05-25 11:41 | 855K | |
| design.pdf | 2006-04-12 09:17 | 1.3M | |
| week2-specifications.pdf | 2006-04-04 17:22 | 2.4M | |