SE 2831 - Introduction to Software Verification 2

Institution:

Milwaukee School of Engineering

Subject:

Description:

This course introduces students to software testing and the integration of testing into the software development process. Topics covered include basic testing techniques, designing for testability, and use of version control systems. Laboratory assignments provide an opportunity to apply software verification techniques and tools. (prereq: CS-1020 or SE-1020; coreq: CS-2851)

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.msoe.edu

Phone Number:

(800) 332-6763

Regional Accreditation:

North Central Association of Colleges and Schools

Calendar System:

Quarter

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.