Law of Demeter

http://www.ccs.neu.edu/research/demeter/demeter-method/LawOfDemeter/paper-boy/

/home/lieber/.www/courses/csu670/f05/examples/baskets-engl-germ/basket-mod

Sep. 26:

relation reduction: how to represent the graph
requirements

translation from one (domain-specific) language to another.


Sep. 29

hw 4

LL(1) conditions
FileSystem design


Oct. 3

hw 4 continued

Forced variables

Details of DemeterJ

edge traversals

Oct. 10

hw 5

lec 7

==================
Nov. 3:
R(x,y,z) = !(x=y) or y=z
R(x,y) = !(x=y)

what is the relation?

Are the following satisfiable/unsatisfiable?
!a+!b !a+!c !b+!c a+b+c !d+!e !d+!f !e+!f d+e+f !a+!d !b+!e !c+!f

!a+!b+!c b+!c !a+c a+b !b+c !b

Nov. 14:

Output Requirements

Polynomial Drawing Requirements

05: lecture06-project-planning.ppt

05: lec8-project-help

Pair Programming

====================================
Nov. 17:

05: lec8-project-help

Updated design of semi-superresolution

Updated output requirement

Testing -> Verifier
Verifier for sat / unsat

Considering a more general case:
From SAT to MaxSAT
From SAT to CSP (what you do in project)

Reviews

=============================================
Nov. 21:
lec8-project-help

Implementing the verifier
/home/lieber/.www/courses/csg270/sp07/hw/1

polynomials for 3SAT:
http://www.ccs.neu.edu/home/lieber/courses/csu670/f06/project/Polynomials_for_3_Sat.doc

Constraint Solver applet:
http://www.cs.ubc.ca/labs/lci/CIspace/Version4/Constraint/
arc consistency

Design by Contract

05: LawofDemeter2.ppt 
========================
Nov. 28:

MaxCSP game
projects after the course
Project document
Naur lecture
Report on team members
Property of semi-superresolvents

http://www.ccs.neu.edu/home/lieber/com3205/f02/lectures/sommerville/
ch25

http://www.ccs.neu.edu/home/lieber/com3205/f02/lectures/requirements.ppt