|
Nov 23, 2024
|
|
|
|
CPSC 8720 - Software Specification and Design Techniques3 Credits (3 Contact Hours) Techniques, tools, environments and formal methods for software specification and design; verification of design correctness. Students are expected to have completed coursework in software engineering before enrolling in this course.
Add to Portfolio (opens a new window)
|
|