CAS CS 411
Introduction to the construction of reliable software. Topics may include software tools, software testing methodologies, retrofitting, regression testing, structured design and structured programming, software characteristics and quality, complexity, entropy, deadlock, fault tolerance, formal proofs of program correctness, chief program teams, and structured walk-throughs.
FALL 2012 Schedule
|A1||Keklak||CAS 316||M 6:00 pm-9:00 pm|