6.170 | Fall 2005 | Undergraduate

Laboratory in Software Engineering

Lecture Notes

lec8.pdf

Description:

This resource contains the following topics Context, A Tale of Two Spaces: Rep and Abstract, Rep Invariants and Abstraction Functions, Rep Invariants for Modular Reasoning, Rep Exposure, Summary.

Resource Type:
Lecture Notes

Course Info

Learning Resource Types
Lecture Notes
Programming Assignments