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 |
Schedule for CSCI 5828 - Spring Semester, 2000
| Week |
Number |
Date |
Description |
Readings |
| Week 1 |
1 |
January 18, 2000 |
Class Overview |
Ghezzi, Chapters 1-2 |
| 2 |
January 20, 2000 |
Software Engineering Review
Homework 1 Assigned |
| Week 2 |
3 |
January 25, 2000 |
Software Engineering Review, cont.
Homework 1 Due |
Ghezzi, Chapter 3 |
| 4 |
January 27, 2000 |
Introduction to Formal Software Engineering |
| Week 3 |
5 |
February 1, 2000 |
Introduction to Specifications
Semester Project Assigned |
Ghezzi, Chapter 5.1-5.3 |
| 6 |
February 3, 2000 |
Operational Specifications |
| Week 4 |
7 |
February 8, 2000 |
Finite State Machines
Project descriptions for in-class students due via e-mail
Homework 2 Assigned |
Ghezzi, Chapter 5.5 |
| 8 |
February 10, 2000 |
Petri Nets |
| Week 5 |
9 |
February 15, 2000 |
Petri-Nets, Part 2
Project descriptions for CATECS students due via e-mail
Homework 2 Due |
Ghezzi, Chapter 5.6.1-5.6.2 |
| 10 |
February 17, 2000 |
Descriptive Specifications |
| Week 6 |
11 |
February 22, 2000 |
Descriptive Specifications, Part 2
Homework 3 Assigned |
Ghezzi, Chapter 5.6.3 |
| 12 |
February 24, 2000 |
Algebraic Specifications |
| Week 7 |
13 |
February 29, 2000! |
Introduction to Testing
Homework 3 Due
Homework 4 Assigned |
Ghezzi 6.1-6.3 |
| 14 |
March 2, 2000 |
Control Flow Graphs |
| Week 8 |
15 |
March 7, 2000 |
Control Dependence Graphs
Homework 4 Due |
None; Work on Project Instead |
| 16 |
March 9, 2000 |
Data Flow and Program Dependence Graphs
Send list of Project References by e-mail |
| Week 9 |
17 |
March 14, 2000 |
Correctness Proofs (Part 1)
Homework 5 Assigned |
Ghezzi, Section 6.4.2-6.5 |
| 18 |
March 16, 2000 |
Correctness Proofs (Part 2)
Send outline of project and rough draft of Introduction via e-mail |
| Week 10 |
19 |
March 21, 2000 |
Configuration Management
Homework 5 Due |
TBA |
| 20 |
March 23, 2000 |
Software Process
Send rough draft of background/related work section via e-mail |
| Week 11 |
March 27-31, 2000: SPRING BREAK!!! |
| Week 12 |
21 |
April 4, 2000 |
Software Architecture |
TBA |
| 22 |
April 6, 2000 |
Software Architecture, cont.
Send rough draft of analysis/key findings |
| Week 13 |
23 |
April 11, 2000 |
The Mythical Man-Month (MMM), Part 1 |
Brooks, Chapters 1-15 |
| 24 |
April 13, 2000 |
MMM, Part 2 |
| Week 14 |
25 |
April 18, 2000 |
No Silver Bullet
Semester Project Due |
Brooks, Chapter 16, 17, & 19 |
| 26 |
April 20, 2000 |
MMM, 20 years later
Fred Brooks Paper Assigned |
| Week 15 |
27 |
April 25, 2000 |
Open Source Software Development |
TBA |
| 28 |
April 27, 2000 |
Open Source Software Development |
| Week 16 |
29 |
May 2, 2000 |
Extreme Programming |
TBD |
| 30 |
May 4, 2000 |
Semester Review: Fred Brooks Paper Due |
|