[an error occurred while processing this directive]
|
|||||||||
CSE5530Systems verification, quality and standards(IT) Not offered in 2002 S Ramakrishnan 6 points + 4 hours per week + Second semester + Caulfield + Prerequisites: CSE3021 or SFT3021 or equivalent + Prohibition: SFT5530 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% |
![]() ![]() ![]() ![]() ![]() |
Australian Government Requirements for International Students - CRICOS Provider Number: 00008C
Copyright © 1994-2001 Monash University - Last Date Modified: 20 June 2003 - Caution - Privacy Monash University ABN 12 377 614 012 |