Course Location
1B 28
Course Time
Tuesday and Thursday
11:00 AM - 12:15 PM
Topics
What's New (Home)
Class Schedule
Lectures
Assignments
Student Comments
Contact Information
Evaluation Criteria
Status Reports
What's New Archives
January, 1999
February, 1999
March, 1999 |
Schedule for CSCI 5828 - Spring Semester, 1999
| Week |
Date |
Description |
Readings |
| Week 1 |
January 12, 1999 |
Class Overview |
Ghezzi, Chapters 1-3 |
| January 14, 1999 |
Software Engineering Review |
| Week 2 |
January 19, 1999 |
Problems with Software Life Cycles |
Brooks, Chapters 1-4 |
| January 21, 1999 |
The Mythical Man-Month, Part 1 |
| Week 3 |
January 26, 1999 |
The Mythical Man-Month, Part 2 |
Brooks, Chapters 5-15 |
| January 28, 1999 |
The Mythical Man-Month, Part 3 |
| Week 4 |
February 2, 1999 |
No Silver Bullet
Fred Brooks Paper Assigned |
Brooks, Chapter 16, 17, & 19 |
| February 4, 1999 |
The Mythical Man-Month after 20 years |
| Week 5 |
February 9, 1999 |
The Cathedral and the Bazaar, Part 1 |
Original Paper
(See Also) |
| February 11, 1999 |
The Cathedral and the Bazaar, Part 2 |
| Week 6 |
February 16, 1999 |
Introduction to Formal Software Engineering
Fred Brooks Paper Due |
TBD |
| February 18, 1999 |
Introduction to Specifications |
| Week 7 |
February 23, 1999 |
Review of Logic
Homework 1 Assigned |
None Assigned; You may want to find an "intro to logic" textbook to brush up on your logic skills. |
| February 25, 1999 |
Temporal Logic |
| Week 8 |
March 2, 1999 |
Operational Specifications |
Ghezzi, Chapter 5.1-5.5.2 |
| March 4, 1999 |
Finite State Machines
Homework 1 Due
Homework 2 Assigned |
| Week 9 |
March 9, 1999 |
Petri Nets |
Ghezzi, Chapter 5.5.3 |
| March 11, 1999 |
Petri Nets, continued. |
| Week 10 |
March 16, 1999 |
Descriptive Specifications
Homework 2 Due |
Ghezzi, Chapter 5.6.2 and 5.6.3 |
| March 18, 1999 |
Descriptive Specifications (Continued)
Homework 3 Assigned |
| Week 11 |
March 22-26, 1999: SPRING BREAK!!! |
| Week 12 |
March 30, 1999 |
Algebraic Specifications
Homework 4 Assigned |
Ghezzi, Chapter 5.6.3 and Chapter 6.1-6.2 |
| April 1, 1999 |
Analysis
Homework 3 Due |
| Week 13 |
April 6, 1999 |
Introduction to Testing |
Chapter 6.3 |
| April 8, 1999 |
Control Flow Graphs
Homework 4 Due |
| Week 14 |
April 13, 1999 |
Data Flow and Dependence Graphs |
TBD |
| April 15, 1999 |
Dependence Graphs, cont. |
| Week 15 |
April 20, 1999 |
Intro. to Software Architecture |
TBD |
| April 22, 1999 |
Software Architecture, cont. |
| Week 16 |
April 27, 1999 |
Review of Semester |
TBD |
| April 29, 1999 |
Last Day of Class: Semester Projects Due |
|