CIS 771 - Software SpecificationCredits: 3
Formal logic or specification of software components; algebraic vs. model-based specifications; common abstract types; verification of properties of specifications; introduction to specification of concurrent systems.
Prerequisite: CIS 301. Students may enroll in CIS courses only if they have earned a grade of C or better for each prerequisite to those courses.
View course scheduling information for Summer 2017, if available.
View course scheduling information for Fall 2017, if available.
[Add to Portfolio]