Catalog description:
Practical techniques for verifying and validating software including formal verification, software testing, reliability measurement, and modeling. Pr.: CIS 740.

Content for Summer 2001:

    Log    ........ grades .... exams will be available Thursday PM

    Class Project

    Member web pages

Requirements:
The course will entail directed reading, discussion, and evaluation of current papers about software models and semantics  and development and presenation of a tutorial or research paper.

Grading:
    Presentation of research paper related to the group chapter;
    project chapter and group presentation;
    two-part examination.
    "A" grade requires "A" performance on all of the graded items.

Instructor:

Dr. William Hankley
email: hankley@cis.ksu.edu
www: http://www.cis.ksu.edu/~hankley/
phone: 785-532-6350, usually MWF 1:30-2:30
FAX: 785-532-7453

We will meet M,T,W  (option to move some meetings to Thursday); 2:00-4:00 pm

Honesty: Cheating and plagiarism are akin to theft. Such an act is a step in being a thief.
I Cor. 6:9 Do not be deceived; ...thieves .. shall not inherit the kingdom of God.
Also, such an act may result in dismissal from the course or from the University.

 end.