|
Mar 29, 2024
|
|
|
|
CS 6683 Software Specification and Design(3 hours) Formal and semi-formal methods of specification and verification are used to express and prove the various functional requirements of software systems. Prerequisites: CS 2123 and CS 3033.
Add to Bulletin (opens a new window)
|
|