SE 3811 - FormalMethods 2

Institution:

Milwaukee School of Engineering

Subject:

Description:

This course introduces the use of formalmathematical notation and reasoning in the software development process. Thesemethods have applications in requirements specification, design and verification. Course topics includemathematical foundations, predicates, preconditions and postconditions, alternative notations, types of formalmodels, and the strengths and limitations of formalmethods. (prereq:MA-230, SE-3821 or SE-382)

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.