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
S - Section
B - LaBs
T - Tools
F - Final Project
|
Number |
Date |
Title |
Links |
|
3/20/2011 |
Exam 2 |
(PDF) |
|
3/20/2011 |
Exam 2 Solutions |
(PDF) |
L21 |
3/11/2011 |
Wrapup |
(PDF) |
P8 |
3/4/2011 |
Problem Set 8 |
(HTML) |
L20 |
3/1/2011 |
Automated verification |
(PDF) |
P7 |
2/23/2011 |
Problem Set 7 |
(HTML) |
S8 |
2/24/2011 |
GUI Construction with Java Swing |
(HTML) |
L19 |
2/23/2011 |
Usability |
(PDF) |
S7 |
2/17/2011 |
Performance, MDD's, and DesignPatterns |
(HTML) |
L18 |
2/18/2011 |
System integration |
(PDF) |
P6 |
2/16/2011 |
Problem Set 6 |
(HTML) |
L16 |
2/14/2011 |
Module dependences |
(PDF) |
L14 |
2/7/2011 |
Reasoning about code |
(PDF) |
L9 |
1/24/2011 |
Design patterns (1) |
(PDF) |
L17 |
2/16/2011 |
Design patterns (3) |
(PDF) |
L15 |
2/11/2011 |
Design patterns (2) |
(PDF) |
S6 |
2/10/2011 |
Reasoning with induction |
(HTML) |
L13 |
2/7/2011 |
Reasoning about ADTs |
(PDF) |
P5 |
2/7/2011 |
Problem Set 5 |
(HTML) |
T6 |
2/5/2011 |
Problem Set Submission |
(HTML) |
L12 |
2/2/2011 |
Exceptions |
(PDF) |
L11 |
2/3/2011 |
Debugging |
(PDF) |
P4 |
1/29/2011 |
Problem Set 4 |
(HTML) |
S2 |
1/27/2011 |
Generics, Equality, and Hashing |
(HTML) |
S4 |
1/27/2011 |
Equality, Hashing, and Generics |
(HTML) |
L10 |
1/26/2011 |
Identity and equality |
(PDF) |
T8 |
1/23/2011 |
Checker Framework for pluggable type-checking |
(HTML) |
L8 |
1/21/2011 |
Polymorphism (generics) |
(PDF) |
L7 |
1/21/2011 |
Preventing null pointer errors |
(PDF) |
L6 |
1/21/2011 |
Subclasses and subtypes |
(PDF) |
P3 |
1/20/2011 |
Problem Set 3 |
(HTML) |
T3 |
1/17/2011 |
Version Control (SVN) Reference |
(HTML) |
P1 |
1/17/2011 |
Problem Set 1 |
(HTML) |
B1 |
1/13/2011 |
Lab 1: Debugging |
(HTML) |
P2 |
1/13/2011 |
Problem Set 2 |
(HTML) |
L5 |
1/12/2011 |
Abstraction functions and representation invariants |
(PDF) |
C5 |
1/11/2011 |
Writing Abstraction Functions and Rep Invariants |
(HTML) |
L4 |
1/10/2011 |
Abstract data types |
(PDF) |
L3 |
1/10/2011 |
Procedural specifications |
(PDF) |
L2 |
1/7/2011 |
Testing |
(PDF) |
A1 |
1/6/2011 |
General Information |
(HTML) |
S1 |
1/6/2011 |
Specifications |
(HTML) |
P0 |
1/3/2011 |
Problem Set 0 |
(HTML) |
L0 |
1/3/2011 |
Introduction |
(PDF) |
L1 |
1/3/2011 |
Specifications |
(PDF) |
A2 |
1/3/2011 |
Course Calendar |
(HTML) |
A3 |
1/3/2011 |
Objectives and outcomes |
(HTML) |
C1 |
1/3/2011 |
Java Style Guide |
(HTML) |
C2 |
1/3/2011 |
Java Q&A |
(HTML) |
C3 |
1/3/2011 |
Class and Method Specifications |
(HTML) |
C4 |
1/3/2011 |
A Guide to Testing |
(HTML) |
T1 |
1/3/2011 |
Tools Overview |
(HTML) |
T2 |
1/3/2011 |
Editing, Compiling, Running, and Testing Java Programs |
(HTML) |
T4 |
1/3/2011 |
Eclipse Reference for CSE331 |
(HTML) |
T5 |
1/3/2011 |
Working at home |
(HTML) |
T7 |
1/3/2011 |
Daikon invariant detector |
(HTML) |
|