SE 306

Formal Methods in Software Engineering

Monmouth University · UGRD · Fall 2026

1 section

Catalog description

Covers a variety of formal methods and applies them to software-specification development. Assumes a firm grounding in mathematical logic, knowledge of proof techniques, and skill in the translation of problems expressed in English into predicate logic.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 23 hours ago

001

Availability not recently verified

Class #monmouth_2-SE306Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?