| 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 | ||