Outline

• Background
  • CÆSAR Description
  • Diffusion Discretization References
• Documentation
  • Why Document A Program?
  • Levels of Documentation
  • Literate Programming
  • Simplified Approach: Document
  • Examples
  • CÆSAR Documentation Features
• Unit Testing / Levelized Design
  • Basic Ideas
  • Preliminary CÆSAR Levelized Design
  • Unit Testing Implementation
• Design By Contract / Verification
  • Basic Ideas
  • Verification Implementation
  • Design By Contract Implementation
• Summary