Text Materials

Notes

Assignments

1. Read Shapiro on logic (first 1/2) by 1/17

1. introduction
2. propositional logic, JAPE (see 'Tools')

1. Do conjectures and classical conjectures in JAPE, record those you cannot d0

1. Due wed 1/17

1. Hoare Logic: read wikipedia, JAPE   and Gannon on Hoare logic

1. Hoare Logic with Jape

1. Do variable problems
2. do the factor while problem per my model

1.  Formal Specification: Z, UML,Alloy 

1. Z

1. Alloy