CPS 613 Specification of Software Systems

Formal models and representations. Specification techniques and tools that support them. Assessment of specification for attributes such as consistency and completeness. Does not count on the MS in Computer Science. Prerequisites: CPS 510 and MTH 175.