The Transport4You project submitted to ICSE'11 - Student Contest on Software Engineering.
Please visit the demostration video on Youtube first: http://www.youtube.com/watch?v=60Tw-EUNazE
- Transport4You_Setup.exe: installation file
- IPTM_DesignModel.csp: CSP# design model (open using PAT)
- PatServiceTest.cs and FaultCorrectionTest.cs: Test driver code
- Summary Report Revised: revised version of the summary report
- IPTM-SRS: Requirement Specifications
- IPTM-SDD: Design Document
- IPTM-TP: Test Plan
- User Manual: Short guide on installation/uninstallation and test demo.
- FaultCorrection_TestData: Test result compilation for FaultCorrection module
- RoutePlan_TestData: Test result compilation for RoutePlan module
- Transport4YouSimulation: source code for simulator.
- UserBehaviroAnalyst: source code for user behavior analyst.