CS 5010 Module 07

Module Overview

Some problems are not easily solved using structural decomposition as we've defined it. Others are solved only inefficiently by pure structural decomposition. We introduce two new kinds of generalization to help solve such problems. We introduce invariants as a way of recording the assumptions that a function makes about its environment.

Course Map

course map, week 07

Readings

Part VI from the textbook. We are doing things in a different order than the textbook does. Also, we are doing this topic rather differently than the textbook does, so use the textbook for background rather than as a normative reference.

Resources

Lessons and Guided Practices

Problem Set

Problem Set 07


Last modified: Tue Oct 27 13:06:04 Eastern Daylight Time 2015