1. Week:

General intro to Advanced Software Development 
Discussion of application domain: CSP
Some connections between CSP and Systems biology

Analyzed one example: OneInThree: 4/9 as 
P-optimal threshold.

Developed a class dictionary for Satisfiability
and for the OneInThree problem.
Then developed a class dictionary for CSP in general.
Simple programming tasks: Counting literals,
total weights, etc.

2. Week:

Introduction to Aspect-Oriented Programming and AspectJ
Discussion of Hw 2:

Writing aspects for turning a maximization
algorithm into a minimization algorithm

Writing aspects for adding new features
to a program (value ordering)

Introduction to Adaptive Programming

Introduction to the theory of CSP: dichotomies


3. Week:

CSP motivation:
Sudoku
Reasoning under uncertainty
Backtracking algorithms
DJ / DemeterJ / DAJ
Hw 3
Demeter Interfaces


4. Week:

Superresolution
Review of DJ / DemeterJ / DAJ / AspectJ
Review MAXMEAN
Transition system to explain the search process


Nov. 14:

Review undergraduate project
  input
  output
  polynomial feedback
  Will's testing approach
  confusion about the input: 22(a !b c) not allowed.
NP-completeness proof
From SAT to MaxSAT (to MaxCSP)
Implementation of UPD

Our input/output language
Ahmed's concern

More on software development
personalities
aspectual components

Nov. 21:

Update