![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BBmodel.mdl | 2003-12-10 16:46 | 291 | |
| BranchBound.png | 2003-12-10 16:46 | 330 | |
| Cost Estimate2.doc | 2003-12-05 14:56 | 466 | |
| Design.doc | 2003-11-07 02:01 | 673 | |
| FSM1.vsd | 2003-11-12 19:11 | 290 | |
| FinalReport.doc | 2003-12-17 04:13 | 9.3K | |
| FinalReport.pdf | 2003-12-15 17:38 | 239 | |
| Formal Requirement Specification.doc | 2003-11-07 01:48 | 465 | |
| Formal Technical Inspection.doc | 2003-11-06 22:33 | 807 | |
| Fsm2.vsd | 2003-11-07 01:46 | 259 | |
| Implementation Plan.doc | 2003-11-07 02:22 | 442 | |
| MyManifest | 2003-10-19 18:23 | 257 | |
| Optimizer.java | 2003-11-28 21:55 | 258 | |
| Phase1.doc | 2003-12-05 14:56 | 2.9K | |
| Phase3.doc | 2003-12-10 23:35 | 2.3K | |
| Plan.mpp | 2003-12-05 14:56 | 279 | |
| Project Evaluation.doc | 2003-12-08 03:32 | 436 | |
| Project Plan2.doc | 2003-11-06 02:08 | 424 | |
| SRS2.doc | 2003-12-05 14:56 | 709 | |
| SeqDiag.png | 2003-12-10 23:47 | 290 | |
| SeqDiag2.mdl | 2003-12-10 23:44 | 291 | |
| Technical Manual.doc | 2003-12-15 17:31 | 1.6K | |
| TestCases.doc | 2003-12-08 02:45 | 436 | |
| TestPlan.doc | 2003-11-06 23:36 | 442 | |
| Update.doc | 2003-11-07 03:08 | 426 | |
| UseCase.mdl | 2003-11-12 16:53 | 260 | |
| UserManual.doc | 2003-12-11 02:01 | 441 | |
| VPST1.htm | 2003-12-05 14:56 | 3.8K | |
| VPST1.ppt | 2003-12-05 14:56 | 559 | |
| VPST2.htm | 2003-11-13 17:25 | 1.3K | |
| VPST2.ppt | 2003-12-05 14:56 | 1.0K | |
| VPST3.htm | 2003-12-10 23:53 | 1.3K | |
| VPST3.ppt | 2003-12-10 23:53 | 818 | |
| astrbul1e.gif | 2003-11-07 02:03 | 362 | |
| editor.mdl | 2003-12-10 16:36 | 291 | |
| editor.png | 2003-12-10 16:37 | 330 | |
| filename.txt | 2003-10-21 09:23 | 256 | |
| machines.conf | 2003-12-09 15:59 | 257 | |
| myKeys | 2003-10-21 01:41 | 258 | |
| myKeys2 | 2003-12-10 14:54 | 258 | |
| phase1.htm | 2006-02-06 15:43 | 5.1K | |
| phase2.doc | 2003-12-10 16:36 | 2.0K | |
| phase2.htm | 2005-09-22 18:07 | 4.6K | |
| project.htm | 2005-12-01 23:11 | 3.4K | |
| project.jar | 2003-12-16 15:44 | 291 | |
| project.jnlp | 2003-12-15 17:01 | 347 | |
| project2.htm | 2005-09-22 18:04 | 2.2K | |
| project2.jar | 2003-12-01 11:16 | 260 | |
| project2.jnlp | 2003-10-21 14:09 | 258 | |
| project3.jar | 2003-11-19 02:11 | 260 | |
| project_new.jar | 2003-12-10 13:30 | 260 | |
| project_prese.jar | 2003-12-11 04:40 | 260 | |
| screenshot.jpg | 2005-01-27 13:21 | 153 | |
| strbkgde.gif | 2003-11-07 02:03 | 362 | |
| strbul2e.gif | 2003-11-07 02:03 | 362 | |
| strbul3e.gif | 2003-11-07 02:03 | 362 | |
| strrulee.gif | 2003-11-07 02:03 | 362 | |
| time_log.htm | 2005-09-22 18:07 | 1.6K | |