Subject
ECS 262
Title
Formal Specification
Status
Active
Units
3.0
Effective Term
2016 Fall Quarter
Learning Activities
Lecture: 3 hours
Description
Formal specification of modules, and its relationship to topdown programming development and verification. Abstract data types, together with methods for specifying them. Implementations and proofs of implementation. Using specifications to reason about programs. Parameterized types. Constructing good formal specifications.
Prerequisites
ECS 261
Enrollment Restrictions
Pass One and Pass Two open to Graduate Students in Computer Science only.