Course Descriptions

The Computer Science curriculum prepares students for careers in all areas of the computer industry as well as for graduate studies in computer science and computer related fields. Students have also found a computer science major to be excellent preparation for careers in law, medicine, business administration, industrial engineering, biomedical engineering, and other technical and non-technical fields.

CSSE 373 - Formal Methods in Specification and Design

Credit Hours: 4R-0L-4C
Term Available: S
Prerequisites: CSSE 230 - Data Structures and Algorithm Analysis, and MA 275 - Discrete & Combinatorial Algebra I
Corequisites: None

Introduction to the use of mathematical models of software systems for their specification and validation. Topics include finite state machine models, models of concurrent systems, verification of models, and limitations of these techniques.

Return to Top