CPSC 333: Lectures for 1996

Location: [CPSC 333] [Lecture Notes] Lectures for 1996

This page was most recently modified on January 14, 1996

The 1996 lectures are available as plain text (unformatted) files.

In 1996, more time was spent on structured development (and less on object-oriented development) than is planned for 1997. However, no other major changes are planned. Thus these notes may be a useful reference, but will match the material covered in this year's lectures exactly.

• Lecture 1: Introduction to Course
• Lecture 2: Introduction to Requirements Analysis; ERDs
• Lecture 3: ERDs (Continued)
• Lecture 4: ERDs (Continued)
• Lecture 5: ERDs (Continued)
• Lecture 6: ERDs (Concluded)
• Lecture 7: Data Dictionaries
• Lecture 8: Data Flow Diagrams, Process Specifications, and Structured Analysis
• Lecture 9: Structured Analysis (Continued)
• Lecture 10: Structured Analysis (Continued)
• Lecture 11: Structured Analysis (Continued)
• Lecture 12: Structured Analysis (Concluded)
• Lecture 13: From Analysis to Design
• Lecture 14: Structure Charts and Structured Design
• Lecture 15: Structured Design (Continued)
• Lecture 16: Structured Design (Continued)
• Lecture 17: Structured Design (Continued)
• Lecture 18: Structured Design (Continued)
• Lecture 19: Structured Design (Concluded)
• Lecture 20: Introduction to Testing
• Lecture 21: Unit Testing
• Lecture 22: Unit Testing (Continued)
• Lecture 23: Unit Testing (Continued)
• Lecture 24: Unit Testing (Concluded)
• Lecture 25: System Integration and Integration Testing
• Lecture 26: Testing (Concluded) and Introduction to Object-Oriented Development
• Object-Oriented Analysis
• Object-Oriented Analysis (Concluded)
• Object-Oriented Design; Introduction to Formal Methods for Software Development
• Introduction to Z
• Introduction to Z (Continued)
• Introduction to Z (Continued)
• Introduction to Z (Concluded)

The final few CPSC 333 lectures in Winter, 1996 introduced a method for proving correctness of programs written in a simple procedural programming language. This was considered to be ``optional'' material (that is, it was not tested), and the notes for these lectures are not currently available online.

Location: [CPSC 333] [Lecture Notes] [Lectures for 1996]