(On Internet Explorer: Click on the
bullets to see next level)
All Lectures (1, 2,
3, 4, 5,
6, 7, 8,
9, 10, 11,
12, 13, 14,
15, 16)
Note that many of the lecture slides have been adapted
from Sommerville's web-site.
 | Jan. 29 & 31: 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. 5: Introduction II
|
| Feb. 5, 7 & 14: Requirements I
| Software Requirements |
| Requirements Engineering Processes |
| Reading: Sommerville - Chapters 5 & 6 |
| LECTURE SLIDES (Click
here)
|
|
| Feb. 12: Hands-on Software Engineering (Requirements) |
| Feb. 19: Requirements II
| Formal Specification |
| Preconditions/Postconditions |
| Reading: Sommerville - Chapters 9 |
| LECTURE SLIDES (Click
here)
|
|
| Feb. 21: Hands-on Software Engineering
(PDDL)
|
| Feb. 26: Design I
| Architectural Design |
| Object-oriented Design |
| Reading: Sommerville - Chapters 10 & 12 |
| LECTURE SLIDES (Click
here)
|
|
| Mar. 5: Hands-on Software Engineering (Model Checking) |
| Mar. 7: Software Testing I
|
| Mar. 12: Software Testing II
|
| Mar. 14: Software Testing III (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. 19: Software Testing IV
| 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)
|
|
| Mar. 21: Design II
| User-interface Design |
| Reading: Sommerville - Chapters 15 |
| LECTURE SLIDES (Click
here)
|
|
| Apr. 2: Design III
| Distributed Systems Architectures |
| Reading: Sommerville - Chapter 11 |
| LECTURE SLIDES (Click
here)
|
|
| Apr. 4: Hands-on Software Engineering (Project Discussion) |
| Apr. 9: Design IV & Static Verification and Validation
| 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. 11: Project Management
| Reading: Sommerville - Chapter 4 |
| LECTURE SLIDES (Click
here)
|
|
| Apr. 16: Evolution
| Software Maintenance |
| Configuration Management |
| Reading: Sommerville - Chapter 27 & 29 |
| LECTURE SLIDES (Click
here)
|
|
| Apr. 18: Team 1 Project Presentation |
| Apr. 23: Team 2 Project Presentation |
| Apr. 25: Team 3 Project Presentation |
| Apr. 30: Team 4 Project Presentation |
| May 2: Team 5 Project Presentation |
| May 7: Team 6 Project Presentation |
| May 9: Team 7 Project Presentation |
| May 14: Course Review |
Software
Engineering
