Handouts

Administrative Info

Course Calendar
Objectives and outcomes

Conceptual Info

Java Style Guide
Java Q&A
Class and Method Specifications
Writing Rep Invariants and Abstraction Functions
A Guide to Testing
How to Debug
Differences from CSE 143

Tools

Tools Overview
Editing, Compiling, Running, and Testing Java Programs
Version Control (Git) Reference
Working at home
Assignment Submission
Checker Framework for pluggable type-checking