CS 5500: Formal and Executable Specifications
Module Overview
This week you will learn how formal and executable specifications can make software easier to prototype and to maintain.
Course Map
Readings
No readings.
Resources
- Wikipedia article on Gödel's completeness theorem
- Zillions of Games file for Alice Chess
Lessons
- Finite State Machines
- Context-free Grammars
- Algebraic Specifications
- First Order Logic
- Domain-specific Languages
Homework Assignments
- Assignment 7: improved version of the semester project