|
Jan 15, 2025
|
|
|
|
CS 6683 Software Specification and Design(3 hours) Formal and semi-formal methods of specification and design are used to describe the various requirements of a non-trivial software system. Prerequisites: CS 2123 and CS 3013.
Add to Bulletin (opens a new window)
|
|