CS 8317: Software Reliability and Safety

CS 8317 (Spring, 2022): Software Reliability and Safety

Instructor:
Address:

Office:
Phone:
E-mail:
Home page:
Class:
Office hours:

Prof. Jeff Tian
Dept. of Computer Science,
Southern Methodist University,
3145 Dyer Street, Dallas, TX 75275-0122
Caruth 425
(214)768-2861
tian@lyle.smu.edu (preferred means of communication)
lyle.smu.edu/~tian/class/8317.22s
F 3/18, 4/1, 4/15, 4/29, Zoom 9am-1pm and recorded-lectures
By appointment via e-mail

Announcement:

Information/links about individual paper/study presentation and homework assignments were slightly updated on 3/26/2022, giving additional guidance about the contents and of your essays/presentation slides (basically transcribing down what we discussed in class on 3/18/22).
All submissions of course work will be via Canvas.
Comprehensive quiz (final exam) information:
- It will be a take home exam on 4/15/2022.
- You will be given 2.5 hours to complete and upload the exam, including 90 minutes to work on the exam, and an extra 60 minutes to manage downloading/printing/scanning/uploading.
- Sample quiz will be available on Canvas: same format.

Homework assignments, with the following due dates:
- hw#1/A due: 3/31/2022.
- hw#2/RS1 due: 4/14/2022.
- hw#3/RS2 due: 4/28/2022.
Information about
Course project information, with three separate parts of deliverables:
- proposal due: 3/31/2022.
- presentation slides due: day before your scheduled presentation (most likely 4/28/2022 for most students).
- report due: 5/3/2022.

Prepared by Jeff Tian (tian@lyle.smu.edu).
Posted: March 17, 2022. Last update: March 26, 2022.