Ch5: Software Specification. 1 Descriptive specifications Describe desired properties of system Three types:
CSCE3193: Programming Paradigms