![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 01-Intro.pdf | 22-Jan-2002 20:37 | 251K | |
| 02-Embedded.pdf | 22-Jan-2002 20:38 | 123K | |
| 03-ProblemsSE.pdf | 22-Jan-2002 20:38 | 17K | |
| 04-OOdevelopment.pdf | 22-Jan-2002 20:39 | 65K | |
| 05-Use-Cases.pdf | 22-Jan-2002 20:40 | 145K | |
| 06-Modeling1.pdf | 22-Jan-2002 20:42 | 273K | |
| 07-UML-Dynamic.pdf | 22-Jan-2002 20:44 | 276K | |
| 08a-Requirements1.pdf | 22-Jan-2002 20:45 | 172K | |
| 09-Embedded2.pdf | 22-Jan-2002 20:50 | 719K | |
| 10a-MoreDynamicModels.pdf | 22-Jan-2002 20:51 | 159K | |
| 11-QA.pdf | 21-Feb-2002 09:56 | 148K | |
| 12-FormalMethods.pdf | 22-Jan-2002 20:53 | 101K | |
| 13c-ModelChecking.pdf | 09-Sep-2002 17:04 | 549K | |
| 14-SystemsDesign.pdf | 22-Jan-2002 20:58 | 222K | |
| 15-ObjectDesign.pdf | 22-Jan-2002 21:00 | 215K | |
| 16-Testing.pdf | 22-Jan-2002 21:13 | 1.9M | |
| 17-DBDesign.pdf | 22-Jan-2002 21:14 | 72K | |
| 18-SevenPrinciples.pdf | 22-Jan-2002 21:14 | 43K | |
| ra_doc_details.pdf | 14-Feb-2002 09:04 | 30K | |