![[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}
![[DIR]](/icons/folder.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 | 281K | |
| BranchBound.png | 2003-12-10 16:46 | 37K | |
| Cost Estimate2.doc | 2003-11-06 22:38 | 68K | |
| Design.doc | 2003-11-07 02:01 | 194K | |
| FSM1.vsd | 2003-11-12 19:11 | 97K | |
| FinalReport.doc | 2003-12-17 04:13 | 1.1M | |
| FinalReport.pdf | 2003-12-10 18:06 | 451K | |
| Formal Requirement Specification.doc | 2003-11-07 01:48 | 253K | |
| Formal Technical Inspection.doc | 2003-11-06 22:33 | 45K | |
| Fsm2.vsd | 2003-11-07 01:46 | 97K | |
| Implementation Plan.doc | 2003-11-07 02:22 | 25K | |
| META-INF/ | 2004-03-04 17:50 | - | |
| MyManifest | 2003-10-19 18:23 | 111 | |
| Optimizer.java | 2003-11-28 21:55 | 4.7K | |
| Phase1.doc | 2003-10-16 20:45 | 378K | |
| Phase2.doc | 2003-12-10 16:36 | 500K | |
| Phase3.doc | 2003-12-09 04:33 | 208K | |
| Plan.mpp | 2003-09-29 15:43 | 116K | |
| Project Evaluation.doc | 2003-12-08 03:32 | 28K | |
| Project Plan2.doc | 2003-11-06 02:08 | 67K | |
| SRS2.doc | 2003-11-12 17:06 | 231K | |
| SeqDiag.png | 2003-12-10 23:47 | 23K | |
| SeqDiag2.mdl | 2003-12-10 23:44 | 277K | |
| Technical Manual.doc | 2003-12-15 17:31 | 94K | |
| TestCases.doc | 2003-12-08 02:45 | 39K | |
| TestPlan.doc | 2003-11-06 23:36 | 47K | |
| Update.doc | 2003-11-07 03:08 | 29K | |
| UseCase.mdl | 2003-11-12 16:53 | 197K | |
| UserManual.doc | 2003-12-11 02:01 | 92K | |
| VPST1.htm | 2003-10-17 08:09 | 2.3K | |
| VPST1.ppt | 2003-10-17 08:09 | 179K | |
| VPST1_files/ | 2003-10-17 08:09 | - | |
| VPST2.htm | 2003-11-13 17:25 | 2.3K | |
| VPST2.ppt | 2003-11-11 02:15 | 102K | |
| VPST2_files/ | 2003-11-13 21:04 | - | |
| VPST3.htm | 2003-12-10 23:53 | 2.3K | |
| VPST3.ppt | 2003-12-10 23:53 | 76K | |
| VPST3_files/ | 2003-12-15 17:01 | - | |
| _derived/ | 2005-09-22 18:04 | - | |
| _overlay/ | 2005-09-22 18:04 | - | |
| _vti_cnf/ | 2005-01-27 13:21 | - | |
| astrbul1e.gif | 2003-10-08 10:32 | 183 | |
| editor.mdl | 2003-12-10 16:36 | 283K | |
| editor.png | 2003-12-10 16:37 | 40K | |
| filename.txt | 2003-10-21 09:23 | 10 | |
| html/ | 2003-12-03 01:02 | - | |
| machines.conf | 2003-12-09 15:59 | 104 | |
| myKeys | 2003-10-21 01:41 | 1.2K | |
| myKeys2 | 2003-12-10 14:54 | 1.2K | |
| phase1.htm | 2006-02-06 15:43 | 235K | |
| phase1_files/ | 2006-02-06 15:43 | - | |
| phase2.htm | 2005-09-22 18:07 | 115K | |
| phase2_files/ | 2003-12-15 17:26 | - | |
| project.htm | 2005-09-22 18:07 | 14K | |
| project.jar | 2003-12-16 15:44 | 426K | |
| project.jnlp | 2003-12-05 18:28 | 1.1K | |
| project2.htm | 2005-09-22 18:04 | 5.6K | |
| project2.jar | 2003-12-01 11:16 | 793K | |
| project2.jnlp | 2003-10-21 14:09 | 1.1K | |
| project3.jar | 2003-11-19 02:11 | 395K | |
| project_new.jar | 2003-12-10 13:30 | 407K | |
| project_prese.jar | 2003-12-11 04:40 | 426K | |
| screenshot.jpg | 2005-01-27 13:20 | 48K | |
| sources/ | 2004-03-04 17:50 | - | |
| strbkgde.gif | 2003-10-08 10:32 | 906 | |
| strbul2e.gif | 2003-10-08 10:32 | 177 | |
| strbul3e.gif | 2003-10-08 10:32 | 175 | |
| strrulee.gif | 2003-10-08 10:32 | 323 | |
| time_log.htm | 2005-09-22 18:07 | 79K | |