CMPSCI [621] 521

[Adv.] Software Engineering: Analysis and Evaluation

Fall Term 2006

Homepage Introduction Class Materials Announcements Calendar Readings Lecture Notes [PDF] Assignments

Lecture Notes

Notes available before class date

Updated 12/9/06 6:00 PM

Lec	Week of	PDF
1	9/6/06	Introduction
2	9/11/06	Defining Quality; Process Models; Clean Room;
3	9/13/06	Reviews, Inspections,
4	9/18/06	Testing Foundations
5	9/20/06	Testing Foundations
6	9/25/06	Fault-Based Testing
7	9/27/06	Fault-Based & Error-Based Testing
8	10/2/06	Assertions
9	10/4/06	Assertions, Integration, Regression
	10/9/06	Columbus Day Holiday
10	10/11/06	Regression Testing
11	10/16/06	OOS Testing
12	10/18/06	OOS Testing
13	10/23/06	OOS Integration Testing
14	10/25/06	OOS Intgr.Testing
15	10/30/06	No Class
16	11/1/06	Web services, Formal Methods
17	11/6/06	Formal Methods
18	11/8/06	Verification & Proof
19	11/13/06	Symbolic Evaluation & Dataflow Analysis
20	11/15/06	Dataflow Analysis
21	11/20/06	Dataflow Analysis
22	11/22/06	Dataflow Analysis
23	11/27/06	Concurrency
24	11/29/06	Concurrency
25	12/4/06	Concurrency
26	12/6/06	Concurrency
27	12/11/06	Concurrency & Software Safety
28	12/13/06	Legal & Wrapup

Other Tutorials