










| |

(On Internet Explorer: Click on the
bullets to see next level)
All Lecture Slides - pdf (1,
2, 3)
Note that many of the lecture slides have been adapted
from Sommerville's web-site.
 | Jan. 28 & 30: Introduction I
 | First class |
 | Introduction to Software Engineering |
 | What is software engineering? Why is it important? |
 | The software lifecycle |
 | Software process models |
 | Reading: Sommerville -
Chapters 1 & 3 |
 | LECTURE SLIDES (Click
here)
|
|
 | Feb. 4 & 6: Tools I
|
 | Feb. 11 & 13: Introduction II
|
 | Feb. 18 & 20: Requirements
I
 | Software Requirements |
 | Requirements Engineering Processes |
 | Reading: Sommerville - Chapters 5 & 6 |
 | LECTURE SLIDES (Click
here) |
|
 | Feb. 25 & 27: Requirements II
 | Formal Specification |
 | Preconditions/Postconditions |
 | Reading: Sommerville - Chapters 9 |
 | LECTURE SLIDES (Click
here)
|
 | (PDDL)
|
|
 | Mar. 4 & 6: Design I & Software Testing I
 | Architectural Design |
 | Object-oriented Design |
 | Reading: Sommerville - Chapters 10 & 12 |
 | LECTURE SLIDES (Click
here)
|
 | LECTURE SLIDES (Click
here)
|
|
 | Mar. 11 & 13: Software Testing II
 | LECTURE SLIDES (Click
here)
|
 | GUI Testing |
 | LECTURE SLIDES (Click
here)
|
 | Reading: "Hierarchical
GUI Test Case Generation Using Automated Planning", Atif M.
Memon, Martha E. Pollack and Mary Lou Soffa, IEEE Transactions on
Software Engineering. vol. 27, no. 2, pp. 144-155, Feb. 2001. |
 | Reading: "Coverage
Criteria for GUI Testing", Atif M. Memon, Mary Lou Soffa and
Martha E. Pollack, , 8th European Software Engineering Conference (ESEC)
and 9th ACM SIGSOFT International Symposium on the Foundations of
Software Engineering (FSE-9), Vienna University of Technology,
Austria, Sept. 10-14, 2001. |
|
 | Mar. 18 & 20: Software Testing III & Design II
 | Test Oracles |
 | Reading: "Automated
Test Oracles for GUIs", Atif M. Memon, Martha E. Pollack and
Mary Lou Soffa, , Eighth International Symposium on the Foundations
of Software Engineering (FSE’2000), San Diego, CA, Nov. 6-10,
2000. |
 | LECTURE SLIDES (Click
here)
|
 | User-interface Design |
 | Reading: Sommerville - Chapters 15 |
 | LECTURE SLIDES (Click
here)
|
|
 | Apr. 1 & 3: Design III & Static Verification and Validation
 | Distributed Systems Architectures |
 | Reading: Sommerville - Chapter 11 |
 | LECTURE SLIDES (Click
here)
|
 | Component-based Design |
 | Reading: Sommerville - Chapter 14 |
 | LECTURE SLIDES (Click
here)
|
 | Readings |
 | Inspections |
 | Reading: "What makes inspections work?", Adam Porter and
Larry Votta, IEEE Software,Vol. 14, No. 6, Nov. 1997 |
 | Reading: Sommerville - Chapter 19 |
 | LECTURE SLIDES (Click
here)
|
|
 | Apr. 8 & 10: Project Management & Evolution
 | Reading: Sommerville - Chapter 4 |
 | LECTURE SLIDES (Click
here)
|
 | Software Maintenance |
 | Configuration Management |
 | Reading: Sommerville - Chapter 27 & 29 |
 | LECTURE SLIDES (Click
here)
|
|
 | Apr. 15 & 17:
|
 | Apr. 22 & 24: |
 | Apr. 29 & May 1:
|
 | May. 6 & 8:
|
 | May. 13:
|
|