|
The presentation list in PDF
Each student will present on a different topic. First-come, first-served. You should
let Prof. Norvell know your topic by July 3.
Presentations will be 18 minutes +5 minutes for questions and are tentatively slated to
start on July 16.
Several references should be consulted. Check with Prof. Norvell for ideas on
where to start. Use the Science Citation Index, Current Contents, and other library
resources to help you.
Each student should prepare and submit a 2 to 3 page literature review for their topic
in HTML form. This will be posted on the course's web site. Literature reviews are
due July 30.
Schedule:
Monday July 16th.
- 12:00 Rod. Functional Programming in industrial practice.
- 12:25 Keith. Revision control - beyond CVS.
- 2:00 Derek. Lotos
- 2:25 Darcy. Software reliability estimation.
- 2:50 Mark. Real-time specification.
- 3:15 Mike. Parnas's system specification method.
Wednesday July 18th
- 12:00 Dan F. Extreme programming.
- 12:25 Chris. Reverse engineering and design recovery.
Friday July 20th
- Larman's Videos Conclude.
Wednesday July 25th
- 12:00 Matthew. The Capability Maturity Model (CMM).
- 12:25 Sheldon. Automated testing.
Friday July 27th
- 12:00 Stephan. The Z specification method.
- 12:25 Andrew M. Designing for fault tolerance.
Monday July 30th.
- 12:00Greg. Graphical User Interface development environments.
- 12:25Tony. Human factors in UI design.
- 2:00 Doug. Configuration management
- 2:25 Cecilia. Applications of artificial intelligence to software engineering.
- 2:50 Eric. Software project overruns.
- 3:15 Brian. Reuse of software components.
- 3:40 Nick. Y2K bugs: success, fraud, or successful fraud?
- 4:05 Indrajit. Software metrics.
Wednesday Aug 1
- 12:00 Andrew H. Software/hardware co-design.
- 12:25 Brendon. Software Engineering Economics and cost Estimation.
Friday Aug 3
- 12:00 Dan Lodge. Software disasters.
Topics
- Real-time specification. -- Mark
- Software Engineering Economics and cost Estimation. (Boehm). --Brendon
- The Z, VDM, and/or B specification methods. -- Stephan (Z)
- SDL.
- Lotos. -- Derek
- Statistical methods in testing.
- Automated testing. --Sheldon
- Extreme programming. -- Dan F.
- Formal methods in industrial practice. -- Rod
- `Animation' of formal specifications.
- Software reliability estimation. -- Darcy
- Software metrics. --Indrajit
- Reverse engineering and design recovery. -- Chris
- The Capability Maturity Model (CMM). -- Matthew
- Designing for fault tolerance. -- Andrew M.
- Tabular representations of formal specifications (Parnas).
- Parnas's system specification method. -- Mike
- Theorem proving for software verification.
- Reuse of software components. Brian
- Software disasters (Arianne, Therac, ...). Dan L.
- Software project overruns. Eric
- Why Object-Orientation makes Software Engineering difficult.
- Functional programming in industrial practice.
- Revision control - beyond CVS. -- Keith
- Configuration management. -- Doug
- Software/hardware co-design. --Andrew H.
- Applications of artificial intelligence to software engineering. -- Cecilia
- Y2K bugs: success, fraud, or successful fraud? -- Nick
- Human factors in UI design. -- Tony
- Graphical User Interface development environments. -- Greg
- Licencing of software professionals.
- Any topic approved by the instructor.
|