Course Description: Techniques, tools, environments and formal methods for software specification and design; verification of design correctness. Prerequisite: CpSc 672 or equivalent.

Instructor: Dr. John D. McGregor

Office: Edwards 436

Office Phone: 656-5859

Office Hours: 12:30 - 2:00 TTh

Other hours by appointment

Required Text: TBA

Important Dates:

Course Requirements:

2 exams - 20 points each

projects - 50 points

2 paper summaries - 5 points each

Grading:

Policies:

1. No late assignments accepted.

2. No makeup exams

3. All work should be completed independently unless explicitly stated otherwise in the assignment.

Cheating will be aggressively pursued.

MOF specification