CISC 491 Software Dev Processes and Quality

This course builds the foundation for core concepts in the Software Engineering knowledge area, most notably in the Software Processes, Software Design, and Software Evolution knowledge units. Topics include: program comprehension, program correctness, types of errors (syntax, logic, run-time), the concept of a specification, defensive programming (e.g. secure coding, exception handling), code reviews, testing fundamentals and test-case generation, the role and the use of contracts, including pre- and post-conditions, unit testing, simple refactoring, modern programming environments, code search, programming using library components and their APIs, debugging strategies, documentation and program style.