SE 3M04 T1 2002
Slides and reference material
All slides are in PDF format. You'll need the free
Acrobat Reader
from Adobe to read them.
Sections indicated below are those applicable sections of the courseware. Most of the time
there is a fair bit of supplementary material provided in class.
- Sep. 6 - Outline
- Sep. 9 - What is Software Engineering. Sec 1.1-1.2.
- Sep. 11 - Software ProcessSec 1.3.
- Sep. 13 - CMM and Requirements
- Sep. 16 - Requirements Gathering; BNF. Sec 2.2
- Sep. 18 - BESTT - Types. Sec 2.3.1-2.3.2
- Sep. 20 - BESTT - More types, expressions. Sec 2.3.3
- Sep. 23 - Formulas, predicates, assertions, properties and quantifiers. Sec 2.3.3, 2.3.4, 2.4 (all).
- Sep. 25 - Crash course in OO. 1.12.2-1.12.3
- Sep. 27 - MIS for stateful modules. Sec 3.3.1, 5.1.1, 5.1.6
- Sep. 30 - Definition of Specification. Sec 2.6 (implicitly) Modules. Sec 1.8 (all)
- Oct. 2 - Module guide. MIS. Examples. Sec. 3.2, 3.3, 5.1.6, 5.1.5
additional reading:
On the criteria to be used in Decomposing Systems into Modules
- Oct. 4 - Long MIS example: Maze. Most of Chapter 7.
should be read as a good example, memorization is not needed.
- Oct. 7 - Midterm 1
- Oct. 9 - Modularization II. 1.8 (including 1.8.1) + examples
- Oct. 11 - Midterm 1 review
- Oct. 14 - Thanksgiving - no class
- Oct. 16 - Software Structure I. Motivation of Design and MID through MIS for compiler.
- Oct. 18 - Software Structure II. Various kinds of structure.
See these lecture notes from Dr. Farmer.
- Oct. 21 - Software Structure III. Design.
- Oct. 23 - MIS/MID for Stack. Abstraction function. 3.4.1, 5.1.1, 5.1.2, 5.1.3. "Fixed" versions of 5.1.9 and 5.1.10.
- Oct. 25 - MIS/MID for Set [same as last class]
- Oct. 28 - MIS/MID simulation (Stack and Set) [same as last class]
- Oct. 30 - Abstraction function (3.4.1). Coding Style (3.5 but not 3.5.1) [class covered much more material]
- Nov. 1 - Verification & Validation. Intro (p.71-72), parts of 4.3
- Nov. 4 - Verification & Validation. Inspection and Review (all of 4.1, 4.2)
- Nov. 6 - Testing. Systematic verification. (Sec 4.2, parts of 4.3)
- Nov. 8 - Midterm 2
- Nov. 11 - Testing (rest of 4.3, 4.3.1, 4.4). Example: the "maple way" of automated testing.
- Nov. 13 - Testing (cont. of Maple example). Review of midterm 2.
- Nov. 15 - Inspection (pratical version of sections 4.1.2-4.1.3). Live inspection of MIS & MID.
- Nov. 18 - Formal Specification Techniques (Sec. 1.5.3, 1.5.4, 1.5.5, 1.5.6, 1.5.7)
- Nov. 20 - Tools of the Trade (Metrics, CASE, IDEs, SCM, etc). No courseware material.
- Nov. 22 - Maintenance. (Sec. 1.10) IEEE 1219-1992 process model.
- Nov. 25 - Design Patterns (definitions, MVC and Proxy pattern) (see next class)
- Nov. 27 - Design Patterns (examples: Observer, Iterator, Factory Method, Template Method)
Some additional reading: overview site with all GoF patterns.
- Nov. 29 - Review. Open questions and answer.
Back to main page