Specification Mechanisms:
Graphical Specification
Paul Buis
Computer Science Department
Ball State University