| |
(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:
|
|