CSE 8317 (Spring 2003): Topics and Related Reading Material
No specific reading assignments will be given.
However, the following is the list of topics (modules)
and the corresponding chapters from our textbooks or
papers in our course notes
(a list of additional papers
is also available online):
-
Overview: class webpage and related information,
(see also SRE overview and SSE overview).
QA Review:
Tian-SQP;
Lyu-book, Chapters 5, 13, and 14;
Musa-book, Chapters 3, 4, 5.
-
SRE Overview:
Tian-AIC, Sections 1 and 2;
Lyu-book, Chapters 1 and 2;
Musa-book, Chapter 1.
-
SRE models:
Tian-AIC, Section 2;
Lyu-book, Chapter 3;
Musa-book, Chapter 8.
-
TBRMs and Integrated SRE: Tian-AIC;
related SRE application: Lyu-book, Chapters 8 and 11.
-
Data clustering/censoring and other SRE Frontiers:
Tian 2002 and other recent papers.
-
SSE overview and main approach:
Leveson-book, whole book, but with focus on Chapter 9
and Part IV (Chapters 11-18).
-
Safety analysis:
Leveson-book, Chapter 14 (and 13&15 also); Lyu-book, Chapter 15.
-
Formal Verification in SSE:
Zelkowitz paper;
Leveson-book, Chapter 18.
-
PSC: Yih/Tian paper.
Prepared by Jeff Tian
(tian@engr.smu.edu).
Last update Jan. 15, 2003.