CS 8317: Software Reliability and Safety

CS 8317 (Spring, 2023): 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@smu.edu (preferred means of communication)
s2.smu.edu/~tian/class/8317.23s
Fridays 1/6, 1/20, 2/3, 2/17, 3/3, 8am-6pm.
Wednesdays 4-6pm and by appointment via e-mail.

Announcement:

I got the alert about trouble with submitting the final project report on Canvas (on 3/6/2023). Please send it to me via e-mail attachment instead.
(update on 3/8/2023: The project grade and feedback are still posted on Canvas.)
Class on 2/3/2023: Zoom/am + in-person/pm. Please see detailed announcement and Zoom link on Canvas.
This website is still under construction. Therefore some of the links may not be working yet. Please be patient.
All submissions of course work will be via Canvas.
Comprehensive quiz (final exam) information:
- Time and place: 2/17/2023.
- You will be given 2 hours to complete the exam,
- Sample quiz will be available on Canvas: same format.

Homework assignments, with the following due dates:
- hw#1/A due: 1/18/2023.
- hw#2/RS1 due: 2/1/2023.
- hw#3/RS2 due: 2/15/2023.
Information about
Course project information, with three separate parts of deliverables:
- proposal due: 1/21/2023, with in-class discussion/feedback on 1/20/2023.
- presentation slides due: day before your scheduled presentation (most likely 3/2/2023 for most students).
- report due: 3/6/2023.

Prepared by Jeff Tian (tian@lyle.smu.edu).
Posted: Jan. 5, 2023. Last update: March 8, 2023.