SE 3M04 T1 2003
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. Note that the slides for Sep. 8,10,12 are all in 1 file.
- Sep. 5 - Outline and introduction
- Sep. 8 - BNF (slides 1-7). C2.2.
- Sep. 10 - Types and declarations (slides 8-16). C2.3.1,C2.3.2.
- Sep. 12 - Expressions and formulas (slides 17-26). C2.3.3,C2.3.4
- Sep. 15 - Expressing properties, part 1,
and Expressing properties, part 2, C2.4, C2.4.1, C2.4.2, C2.4.3
- Sep. 17 - Review of BNF and Software life cycle (slides 1-6) (T7.1,T7.2). See also
possible answers to the work done on the blackboard
- Sep. 19 - Review of types, expressions, formulas and Software life cycle II (slides 7-14) (T7.2, T7.3.1).
- Sep. 22 - Software life cycle III (slides 15-41) (T7.3,T7.4).
- Sep. 24 - Modularization (slides 1-23) (T4.1,T4.2.1).
- Sep. 26 - Modularization II (slides 24-35, 46-48, 113-115) (T4.2.1,T4.2.2,T4.2.4intro,T4.7.1,T4.7.2).
- Sep. 29 - Module Guide (C1.8, C3.2). Specifications (slides 1-7; T5.1). Operational and Declarative specifications (on blackboard; corresponds to T5.3)
- Oct. 1 - Specifications II (slides 8-19,78-80,83-88; 20-24,36,46,73 'fashed by (FYI rather than required); corresponds to T5.2,T5.3,T5.4,T5.5intro, T5.6, T5.6.1, T5.6.2 up to T5.6.2.4(inclusive)).
Also covered briefly were the signature for Stack (C2.3.2)
and the MIS for List and Stack (C5.1.1, C5.1.5)
- Oct. 3 - Algebraic Specifications (slides 105-111,117-126; corresponds to T5.6.3, and T5.7.2.1). Go over MIS examples in more detail.
- Oct. 6 - midterm #1
- Oct. 8 - MIS. Out of the courseware, sections 3.3.1. 3.3.2, 5.1.1, 5.1.4, 5.1.5
- Oct. 10 - quick review of midterm. Continue on MIS, especially simulation.
- Oct. 13 - Thanksgiving, no class
- Oct. 15 - Testing (slides 1-20,22-25,27)
- Oct. 17 - Testing (cont). Courseware section 4.3, 4.3.1 (up to and including "how to evaluate").
Also overview of some aspects of XP.
- Oct. 20 - MID. Intro to MIDs. MIS/MID comparison. Abstraction function. C3.4, C3.4.1
- Oct. 22 - MID. Simulation of MIS/MID and evaluation of abstraction function. C5.1.1, C5.1.2, C5.1.3
- Oct. 24 - Coding Style. C3.5
- Oct. 27 - MIS/MID and simulation. C5.1.9,C5.1.10, C5.2.8, C5.2.9
- Oct. 29 - Verification and Validation. C4intro, C4.1, C4.1.1
- Oct. 31 - Verification and Validation. C4.1,2, C4.1.3.
- Nov 3 - State machines - blackboard only
- Nov 5 - State machines - blackboard only
- Nov 7 - midterm #2
- Nov 10 - Management of software projects (slides 1-16), Corresponds to T8.1,T8.2 except COCOMO.
- Nov 12 - review of midterm #2
- Nov 14 - Management of software projects II (slides 27-50), Corresponds to T8.3,T8.4,T8.5 .
- Nov 17 - Modularization in C (live demonstration). Covered
definition of module (as applies to C), 'static' variables,
information hiding/passing (in C), the idea behind header files.
- Nov 19 - Tools of the trade (slides 1-14) Corresponds to T9.1,9.2,9.3.1-9.3.7.
- Nov 21 - Tools of the trade (slides 15-28) Corresponds to rest of Chapter 9 in textbook
- Nov 24 - Case Study - Software Process (book) all slides, corresponds to all 4 case studies.
- Nov 28 - Case Study - Design. Did an inspection of the
informal requirements and the MIS in Chapter 6 of courseware.
Pointed out many bugs.
- Nov 28 - Class canceled, prof had Strep [yech!]
- Dec 1 - Course review and final exam hints. If you want the
hints, come to class!
Back to main page