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