CSCI 5828

Foundations of Software Engineering

Course Location
   1B 28

Course Time
   Tuesday and Thursday
   11:00 AM - 12:15 PM

Topics
   What's New (Home)
   Class Schedule
   Lectures
   Assignments
   Contact Information
   Evaluation Criteria

CSCI 5828: Lectures, Spring Semester 2000

The lectures for this class are available in PDF format. The PDF files are generated with four slides to a page to save paper. You can retrieve the Acrobat Reader for viewing and printing PDF files from Adobe's website. Be sure to obtain Acrobat Reader, version 4.0 or later.

Lecture Date Topic
Lecture 1 01/18/2000 Course Overview
Lecture 2 01/20/2000 Software Engineering Review
Lecture 3 01/25/2000 Software Life Cycles
Lecture 4 01/27/2000 Introduction to Formal Software Engineering
Lecture 5 02/01/2000 Introduction to Specifications
Lecture 6 02/03/2000 Operational Specifications
Lecture 7 02/08/2000 Finite State Machines
Lecture 8 02/10/2000 Petri Nets
Lecture 9 02/15/2000 Petri Nets (continued)
Lecture 10 02/17/2000 Descriptive Specifications
Lecture 11 02/22/2000 Descriptive Specifications, cont.
Lecture 12 02/24/2000 Algebraic Specifications
Lecture 13 02/29/2000! Introduction to Testing
Lecture 14 03/02/2000 Control Flow Graphs
Lecture 15 03/07/2000 Control Dependence Graphs
Lecture 16 03/09/2000 Data Flow and Program Dependence Graphs
Lecture 17 03/14/2000 Correctness Proofs (Part 1): No slides available
Lecture 18 03/16/2000 Correctness Proofs (Part 2): No slides available
Lecture 19 03/21/2000 Configuration Management
Lecture 20 03/23/2000 Configuration Management
Lecture 21 04/04/2000 Introduction to Software Architecture
Lecture 22 04/06/2000 Software Architecture
Lecture 23 04/11/2000 The Mythical Man-Month (Part 1)
Lecture 24 04/13/2000 The Mythical Man-Month (Part 2)
Lecture 25 04/18/2000 The Mythical Man-Month (Part 3)
Lecture 26 04/20/2000 No Silver Bullet
Lecture 27 04/25/2000 20th Anniversary Reflections
Lecture 28 04/27/2000 The Cathedral and the Bazaar
Lecture 29 05/02/2000 Comments on The Cathedral and the Bazaar
Lecture 30 05/04/2000 Extreme Programming

© Ken Anderson, 2000.
Last Updated: 8/16/00; 2:45:47 PM