|
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) |
|