SE 3M04 T1 2004
Slides and reference material
The slides are in one of two formats: PDF or PowerPoint. There are free readers
for both of these, available as
Acrobat Reader for PDF
and
free powerpoint slide viewer for PowerPoint.
Sections indicated below are those applicable sections of the courseware as CX.X, and
as TX.X for the textbook.
- Sep. 15 - Outline and introduction
and languages (BNF, regular expressions) and types (slides 1-15). C2.2, C2.3.1
- Sep. 22 - Types (cont), expressions and fomulas, properties (slides 16-26). C2.3,C2.4 (start)
and Software life cycle (slides 1-17) (T7.1,T7.2).
- Sep. 29 - Expressing properties, C2.4 with slides for
simple translation of properties to english,
more complex expressions, and then
Software life cycle II (T7.3, T7.4) redo slides 4,6,7,14,17 hopefully
more clearly, then do slides 24-43.
- Oct. 6 - Requirements, Modularization (lecture by Gordon Uszkay). Covers
book chapter 4 and parts of chapter 5, as well as parts of the courseware. More
precisely
(T4.1-T4.24, T4.7.1, T4.7.2) (slides 1-35, 46-48, 113-115), and
(T5.1, T5.3) (slides 1-7 + ?) as well as C1.8, C3.2.
- Oct. 13 - Specifications II, algebraic specifications, MIS examples.
More precisely, Chapter 5 slides (1-19, 78-80, 83-88, 105-111) corresponding to
T5.2, T5.3, T5.4, T5.5intro, T5.6, T5.6.1-T5.6.3) and then some
MIS examples (Stack, Queue, List, find substrings, ... from Chapter 5 of courseware)
- Oct. 20 - More on MIS. Simulation of MIS. Software Design. MID.
C3.4,C3.4.1.
- Oct. 27 - review "Design", using these slides,
and then testing/verification (T6, all of it) using
slides 1-20,22-25,27.
- Nov. 3 - Project Management (T8, all).
- Nov. 10 - Review midterm. Do a demo of COCOMO.
Talk about coding style (C3.5) and go over published coding styles for
Python,
Java,
the Mozilla foundation, and
C. Also cover reviews and inspection (C4.1).
- Nov. 17 - Coding style - show examples of really bad code from
IOCCC, namely
anonymous.c,
arachnid.c,
burley.c,
gavare.c,
rosten.c,
roemer.c, and
westley.c. Covered how modularization concepts are implemented
in C (on blackboard, sorry no references). Then covered the
Tools of the Trade (T9), all slides except on ``static vs dynamic''
and UIMS details.
- Nov. 24 - Go over case studies 1,2,4 in the
appendix of the book; reading those cases studies for yourselves is highly recommended as the
slides are quite poor. Then covered Design Patterns.
Finished with an example inspection of the MIS and MIDs of Chapter 6 of the courseware
(live, on overheads now available).
- Dec. 1 - review!
Back to main page