Course Category:
Department Requirement
This course looks at the specification, implementation, and testing of large software systems. Topics include information hiding, abstraction, software development environments, formal specifications, software design and evolution, software and system safety, reverse engineering, real-time software, programming environments and verification and validation.