Leader: S Ramakrishnan
Not offered in 2005.
Synopsis: Products, processes, techniques and tools for system validation and verifications. Commercial tools for verifying and validating systems. Inspection and testing methodogies, analysis of artifacts, robustness, performance analysis, configuration management, quality assurance plan and standards including ISO9000/AS39000, compliance, assessment and certification. Hoare logic - assertion mechanisms - precondition, postcondition and invariants in the development of verifiable programs.
Assessment: Assignments: 60% + Examination: 40%
Contact Hours: 4 hours per week
Prerequisites: CSE3021 or SFT3021 or equivalent