|
This page lists pages in reverse chronological order
of last major update.
When, say, a Q & A question or a section is added
or changed in a significant way, that page will be shuffled
to the top.
Legend:
A - Administrative Info
C - Conceptual Info
P - Problem Set
CC - Cross-Checker
L - Lecture
E - Old Exams
S - Section
F - Final Project
|
| Number |
Date |
Title |
Links |
| L5 |
10/6/2010 |
Representation invariants and abstraction functions |
(PDF) |
| L4 |
10/4/2010 |
Abstract Data Types |
(PDF) |
| L3 |
10/1/2010 |
Procedure Specifications |
(PDF) |
| P1 |
10/1/2010 |
Problem Set 1 |
(HTML) |
| P0 |
9/29/2010 |
Problem Set 0 |
(HTML) |
| A1 |
9/29/2010 |
General Information |
(HTML) |
| L1 |
9/29/2010 |
Introduction to Specifications |
(PDF) |
| L1 |
9/29/2010 |
Results from Initial Questionnaire |
(PDF) |
| L0 |
9/29/2010 |
Introduction |
(PDF) |
| A3 |
9/29/2010 |
Objectives and outcomes |
(HTML) |
| T7 |
9/29/2010 |
Problem Set Submission |
(HTML) |
| T6 |
9/29/2010 |
Daikon invariant detector |
(HTML) |
| T5 |
9/29/2010 |
Working at home |
(HTML) |
| T4 |
9/29/2010 |
Eclipse Reference for CSE331 |
(HTML) |
| T3 |
9/29/2010 |
Version Control (SVN) Reference |
(HTML) |
| T2 |
9/29/2010 |
Editing, Compiling, Running, and Testing Java Programs |
(HTML) |
| T1 |
9/29/2010 |
Tools Overview |
(HTML) |
| C6 |
9/29/2010 |
Documenting a Software System |
(HTML) |
| C5 |
9/29/2010 |
Writing Abstraction Functions and Rep Invariants |
(HTML) |
| C4 |
9/29/2010 |
A Guide to Testing |
(HTML) |
| C3 |
9/29/2010 |
Class and Method Specifications |
(HTML) |
| C2 |
9/29/2010 |
Java Q&A |
(HTML) |
| C1 |
9/29/2010 |
Java Style Guide |
(HTML) |
|