CpSc 872

Software Specification and Design Techniques

Fall 2007

Course Description: Techniques, tools, environments, and formal methods for
software specification and design; verification of design correctness.

Credits - 3

Prerequisites - CpSc 672

Instructor: Dr. John D. McGregor

Office: McAdams 312

Office Phone: 656-5859

Office Hours: 12:30 – 1:45 TTh

Other hours by appointment

Required Texts: current papers and notes

Important Dates:

August 28, 2007

Last Day to Add

Sept 5, 2007

Last Day to Drop with no record

October 12, 2007

Last Day to Drop with no final grade

October 15, 2007

Fall Break - Only Monday for 2007

November 21-23, 2007

Thanksgiving Break

December 14, 2007 1:00 PM

Final Exam

Course Requirements:

2 exams (including the final)

35 points each

Assignments

25 points

Class participation

5 points

Grading:

100 - 90 A

89 - 80 B

79 - 70 C

69 - Below F

Policies:

1. No late assignments accepted.

2. No makeup exams. If you miss an exam for any reason, the weight of the other
exam will be increased accordingly.

3. All work should be completed independently (without the assistance of
anyone except the instructor or someone he designates) unless explicitly stated
otherwise in the assignment.

4. It is expected that students will wait at least 15 minutes from the
scheduled start time for class before leaving because the instructor has not
arrived. (I am a professional and will treat you professionally. Only in a VERY
VERY rare case would I not either give prior notice
OR send someone to explain the delay.)