| Wk |
Slides |
Videos 2020 |
Videos 2018 |
|
Item |
Weight |
Due |
| 1 |
Overview, Prog in the Small,
Metrics •
Project Intro
|
|
P- = Project- |
|
|
| 2 |
Assertions •
Specs •
Design,
VHLL •
DNF •
Tools
|
|
P-Teams |
|
|
| 3 |
Condense
Ranges +
Grammars +
Math + Logic
|
|
P-Requires |
5% |
Sep 17 |
| 4 |
Assertions,
OpenJML,
Small Set of Int
|
|
|
|
|
| 5 |
Literate Program Example: Knuth-CWP #1 #2 #3
|
|
Homework1 |
10% |
Sep 28 |
| 6 |
Published Example of Spec + Design: PPP
|
|
P-Specs |
5% |
Oct 12 |
| 7 |
Design of an Editor, Specs of Undo, Redo
|
|
|
|
|
| 8 |
Correctness Proofs of Tiny Programs
|
|
|
|
|
| 8 |
Design Space Hierarchy
|
|
|
|
|
| 8 |
Link to a
Sample Exam • MidSem Exam: To Be Scheduled |
|
Mid Term |
20% |
Oct 19 |
| 9 |
Testing:
Coverage, Unit, Integration •
Bug Discovery
| |
P-Design |
5% |
Oct 26 |
| A |
Refactoring •
OOD |
|
P-Impl |
5% |
Nov 02 |
| B |
Secure Programming:
CERT rules,
Static Analysis |
|
P-Testing |
5% |
|
| C |
Java- 6 to 14, C++ 11 to 20, DSL (Domain-Specifc-Langs) |
|
|
|
|
| D |
Software Architecture |
|
|
|
|
| E |
Software
Comprehension |
|
Homework2 |
10% |
Dec 07 |
| F |
Concurrency, Distributed Computing, Cloud Computing |
|
P-Final |
5% |
Dec 07 |
| F |
Trends: Agile-, eXtreme- Programming, ... |
|
Participation |
5% |
|
| F |
Last Class: Dec 05 (Sat) |
|
|
|
|
| * |
Final Exam: To Be Scheduled
|
|
Final Exam
|
25% |
|
