| Course 
      Description: | The
      course introduces software verification and validation techniques and
      tools. It focuses on audit, review, inspection, and walkthrough techniques
      and tools used for implementation. It introduces independent verification
      and validation process. Issues related to the installation of these
      processes within an organization and to the impact on software quality are
      also investigated. | 
  
    | Instructor: | Dr. Kıvanç
      DinçerTÜBİTAK-UEKAE/İLTAREN
 Atatürk Bulvarı No:221
 06100 Kavaklıdere ANKARA
 
 Tel : (0312) 468 5300 / 4711-1589
 Fax:  (0312) 468 5300 / 1201
 GSM: (0532) 623 33 24
 kdincer@tubitak.gov.tr
 | 
  
    | Office
      Hours: | None (Please call or e-mail me when you need help) | 
  
    | Class Schedule: | Monday     
      16:40  19:30  | 
  
    | Teaching Assistant: | Onur
      SU  onursu@ii.metu.edu.tr | 
  
    | Home Page: | http://www.ii.metu.edu.tr/~kdincer/teaching/fall2002/sm515/ | 
  
    | Textbook: | None.
      Instructor will supply some handouts before the class.  | 
  
    | References: | See
      References. | 
  
    | Required 
      Software: | None. | 
  
    | Grading: | Midterm
      I    %20
      Midterm
      II   %20
 Final            %25
 Homeworks  %25
 Term Project %10
 | 
  
    | Homeworks
      / Late Policy: | If for some reason you can't meet the due date, your work
will still be accepted up to 3 work days past the due date but with some penalty:
 
        |  | 10 points, out of  100,  will be deducted from the grade of an
    assignment for the first late day. 
    
     |  |  | Penalty will double for every day of late submission thereafter. Weekends
    will count as one day. |  Late submissions are strongly discouraged.  Submit late homeworks through
e-mail as one compressed zip file, clearly indicating its content in the subject
line. Or send it by fax. Also submit a hard-copy (on paper) to instructor in the first lecture
following your submission.   | 
  
    | Warning: | Plagiarism
      is defined as the action of using or copying someone else's idea or work
      and pretending that you thought of it, or created it. In grading the
      homework assignments in this course, occurrences of plagiarism will be
      seriously dealt with, leading to a zero grade for the  work concerned
      and upon repetition to a failure in the course, even to punishment through 
      disciplinary procedures as indicated in University Catalog. |