CSC 590
Examples

• Assignment 1:
  • example summary for assignment 1
  • example slides for assignment 1

• Lecture Notes 4 Examples:
  • Stack.zed -- stack spec in the Z spec lang
  • Stack.java -- equivalent stack spec in Java and JML
  • StackZ.java -- java spec with comparative comments showing Z equivalences
  • Stack.obj -- a most elegant equational stack spec in OBJ