next up previous
Next: About this document ...

Department of Computer Science, Clemson University
CpSc 828:
Semantics, Specification and Languages

Policies and Information
Brian Malloy, PhD
January 9, 2002

Office: 416 College of Nursing Building Phone: 656-0808
Office Hours: Wed 2 to 3:30, Thurs 3:30 to 4:30 e-mail:
No office hours on Mon, Tue, Fri URL:
No office hours during final exams TA: me

  1. Text: A good Z reference text.

  2. Tentative Grading Policy ($\pm$ 10%):
    Quizzes 60% Dates: Every other week
    Presentation 20% Date: To be scheduled
    Project 20% Date: To be scheduled
    Final Exam   Date: The project will satisfy this req
    Spring Break   Mar 19-23
    Last drop date w/out W   Jan 23, Wed
    Last drop date   Mar 1, Fri
    Final Exam Week   Apr 27, Sat - Sat

  3. Posting of grades & attendance: My web site contains a special page for this course. This page will include this policy statement and the syllabus. I will regularly update the web page with lecture notes, examples, and other information as we progress through the semester. I will regularly update a list of your grades and attentance so you can monitor your progress. It is your responsibility to make sure that these numbers are correct and to inform the instructor within one week of each posting.

  4. Course objective: To understand and be able to apply Z. To increase our understanding of software specification. To be able to read papers about software engineering, languages and other specifications.

  5. Attendence: Many studies have found that the single factor that contributes the most to success in a course is class attendance. Failure to attend not only hurts you, but places an extra burden on the instructor and detracts from the overall quality of the course. Please try to attend each class.

  6. Classroom Behavior: please do not engage in side conversations during class.

  7. Venue. Jordon G32 on Tue & Thu from 2:00 until 3:15. If the instructor has not arrived by 2:15, you may assume that there is a problem and you may depart.

  8. Classroom approach. I will present material that focuses on software specification, programming and langauge semantics. I will also try to gather, demonstrate and use as many tools as I can find. Please feel free to make suggestions.

  9. Grading. The grading scale is: 90+ is an A, 80+ is a B, 70+ is C, 60+ is D. I will not offer extra credit: please do your best in assignments, exams & attendance.

  10. Quizzes/Exams. I will try to make the quizzes as non-threatening as possible. I will endeavor to provide options on each quiz, for example allowing you to choose 4 questions out of 5.

  11. The option of auditing a course is provided at the discretion of the instructor. Any decisions about auditing must be fixed before the end of the third lecture.

  12. Dishonesty. Each student must do his or her own work independently. The university policies on academic dishonesty apply: "Therefore, we shall not tolerate lying, cheating, or stealing in any form".

  13. Project and Presentation. The project will provide an opportunity to apply what we learn. The presentation will give each student an opportunity to practice making presentations and to share discoveries.

  14. This course policy and the syllabus are available on my web page:

  15. Opportunity. This is the first time that I have taught this course. There are advantages and disadvantages to this, which we will discuss in class. However, I think the material that we study is an important aspect of both software engineering and computer science. I also believe that the material will provide an important foundation for a profound understanding of software engineering.

next up previous
Next: About this document ...
Brian Malloy 2002-01-09