course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| course_outline [2011/02/15 18:08] – jonathan | course_outline [2011/04/11 19:29] (current) – jonathan | ||
|---|---|---|---|
| Line 120: | Line 120: | ||
| Tuesday: Data refinement and Procedural Refinement. Illustration of these concepts using the Birthday Book example in which we write an initial specification, | Tuesday: Data refinement and Procedural Refinement. Illustration of these concepts using the Birthday Book example in which we write an initial specification, | ||
| - | Thursday: Labtest2 | + | BAG abstract datatype. |
| ===== Week 12===== | ===== Week 12===== | ||
course_outline.1297793299.txt.gz · Last modified: by jonathan