Computer scientists and software engineers need to learn formal methodologies for designing robust and reliable software systems in order to effectively and efficiently build and maintain these large and/or complex software projects. In this course, students will learn the concepts of software engineering including software processes, requirements specification, software verification and validation, and software evolution.Prerequisites (must complete before registering): Computer Programming I or equivalent; Data Structures and Algorithms or equivalent; Discrete Mathematics or equivalentAssumptions about surrounding courses:-An understanding of the general principles and characteristics of programming and programming languages such as one would gain in an introductory programming course or through professional experience.-A familiarity with data structures and the ability to identify appropriate data structures along with an understanding of the principles of algorithm design including the ability to design correct and efficient algorithms such as one would gain in a course on Data Structures and Algorithms or through professional experience.-A working knowledge of functions, relations, and sets; formal logic; proof techniques; basics of counting; graphs and trees; and discrete probability such as one would gain in a course on Discrete Mathematics.-It is recommended that students also have a familiarity with the social context of computing and professional and ethical responsibility such as one would gain in a course on Social, Professional & Ethical Issues in Computing.This course was previously SMT-274144 .