User Tools

Site Tools


course_outline

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
course_outline [2011/04/11 19:28] jonathancourse_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, do a data refinement, followed by a procedural refinement; finally a merge produces code. Tuesday: Data refinement and Procedural Refinement. Illustration of these concepts using the Birthday Book example in which we write an initial specification, do a data refinement, followed by a procedural refinement; finally a merge produces code.
  
-BAG abstarct datatype.+BAG abstract datatype.
  
 ===== Week 12===== ===== Week 12=====
course_outline.1302550111.txt.gz · Last modified: 2011/04/11 19:28 by jonathan

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki