Mar 28, 2024  
Ohio University Graduate Catalog 2015-2017 
    
Ohio University Graduate Catalog 2015-2017 [Archived Catalog]

Add to Portfolio (opens a new window)

CS 6571 - Software Specification



How software specifications are expressed and used. Emphasis on formal specifications and use of formal specifications in software verification and validation. Important formal specification models, including algebraic and axiomatic models, state/transition-based models, and temporal logic models, along with their related analysis techniques explored.

Requisites
CS 5560
Credit Hours: 3.0
Repeat/Retake Information: May not be retaken.

Lecture/Lab Hours: 3.0 lecture

Eligible grades: A-F,WP,WF,FN,FS,AU,I



Add to Portfolio (opens a new window)