|
Mar 28, 2024
|
|
|
|
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)
|
|