SE 306 - Formal Methods in Software Engineering

Institution:

Monmouth University

Subject:

Description:

This is a survey course that covers a variety of formal methods and applies them to software-specification development. It assumes a firm grounding in mathematical logic, knowledge of proof techniques, and skill in the translation of problems expressed in English into predicate logic. Prerequisite: Mathematics 120 or 130. Course Type(s): None

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.monmouth.edu

Phone Number:

(732) 571-3400

Regional Accreditation:

Middle States Association of Colleges and Schools

Calendar System:

Semester

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.