Syllabus: General Info for CISC 403/603 Program Validation Spring, 2004

Course meeting times and places:: Lectures in 219 Smith Hall on Tu,Th 11:00am-12:15pm

Instructor: B. David Saunders
Saunders' office hours : 10:30-12:00 Wed, Fri, and by arrangement.
Office: 101E Smith Hall; Phone: 831-6238, Email: saunders@cis.udel.edu

Teaching Assistant: Michael Bloodgood, Office Hours: Monday 10:00am-12:00pm in 115b Pearson Hall.
Email: bloodgoo@cis.udel.edu

The computer (composers) project number is 2132.

Textbooks:

  • The Science of Programming,
    by David Gries, Springer Verlag, 1987, ISBN 0387964800.

  • Introducing Software Testing,
    by Louise Tamres, Addison Wesley, 2002, ISBN 0201719746.

    Coverage

    You should read each topic at least twice (not counting review), once just before the lecture on the material and again just after. To assist with this, detailed reading assignments will be given at each lecture.

    1. About 2 weeks:
      • Review of formal logic (Gries, part 1)
      • 603: natural deduction systems
    2. About 2 weeks:
      • Specifying semantics of a programming language (Gries, part 2)
    3. Remainder of course:
      • 2/3: Proving program correctness (Gries, part 3)
      • 1/3: Testing for evidence of correctness (Tamres)
      • 603: Automated reasoning support systems. Automated testing.

    Exam schedule

    Thursday, April 8, Midterm Exam (moved from April 1)
    Friday, May 21, 10:30-12:30, Final Exam

    Grading

    403 and 603 will be distinguished by different grading standards for exams and homework. Students in 603 will also have additional assignments.

    Midterm 25%
    Final, 40%
    Homework and projects, 35%.

    Homework

    Homework will be given on a biweekly basis and will be due in two weeks.

    Late homework penalties: for k days late deduct (20k-10)%. Thus one day, 10%, two days, 30%, three days 50%. Weekend days and holidays count. For the sake of the TA and for your own sake, get it in on time.

    Policy on plagarism

    All homework, programming projects, and exams in this course are designed to be done individually. You may discuss problems in general, you may help each other by discussing bugs and suggesting debugging strategies of computer programs. But the giving or taking of another person's work (with or without modification of detail) is plagarism and will be handled in accordance with University procedures.

    Latest Info

    The latest info section of the course website is www.cis.udel.edu/~saunders/courses/603/04s. It will contain a brief summary of each class topic and the associated reading, and is updated on a weekly basis. More extensive lecture notes will not be available online (excepting occasional handouts). You must take your own notes in class. If you will miss a class it is best to arrange beforehand to get notes from a classmate.

    University Catalog Course Description and prerequisites: CISC 403,   CISC 603.

    saunders@cis.udel.edu