Course Description:
Software engineering is the application of scientific methods to software development and maintenance. This course provides an in-depth study of advanced concepts and techniques of automatic software generation and analysis. Topics include software process programming, symbolic execution, model checking, property generation and checking, and runtime verification of complex software systems.Prerequisite:
Consent of the instructor.
Course Objectives:
The students will be able to:
-
describe the various activities involved in a software process
-
discuss and compare cutting edge techniques to develop better quality software
-
apply various software engineering tools and technologies
-
read and analyze academic articles
Course Notes:
Course effective Fall 2017. Available only for computer science majors.