Introduction to Software Engineering pdf

Introduction to Software Engineering

Professor Jonathan Aldrich

Topic	Slides
Introduction; Software Lifecycle	1-intro.pdf, 2-lifecycle.pdf
Extreme Programming
Estimation	4-estimation.pdf
Planning	5-planning-1.pdf
Planning	6-planning-2.pdf
Risk Management	7-announcements.pdf, 7-risk-1.pdf
Risk Management	8-risk-2.pdf
Extreme Programming 2	9-xp.pdf
Prototyping and Requirements	10-proto.pdf
Requirements Engineering	11-req.pdf
Requirements Engineering
Goal Modeling	12-goal.pdf
Goal Modeling	12-announcements.pdf
Just Enough UML	14-UML.pdf
Prototype & Requirements Presentations
Statecharts
Design, Information Hiding, coupling/cohesion	17-design.pdf
KWIC & Design Structure Matrices	18-kwic.pdf
Design Patterns	19-patterns.pdf
Frameworks	20-frameworks.pdf
Software Architecture	21-architecture.pdf
Software Architecture	22-architecture.pdf
Hoare Logic	24-hoare.pdf
Hoare Logic, continued	25-hoare-2.pdf
ESC/Java
ESC/Java example	SimpleSet.java
Model Checking and Formal Modeling	28-model-checking.pdf
Model Checking and Formal Modeling 2
Model Checking with Promela	peterson.pml
Testing	31-testing.pdf
Testing, Test Selection	32-test-prioritization.pdf
Code Reviews	33-code-reviews.pdf
Analysis: PREfix	34-prefix.pdf
Analysis: Fluid	35-fluid.pdf
CMMI	36-cmmi.pdf
Object-Oriented Design	37-crc-design.pdf
Aspect-Oriented Programming
Putting it all together
Tool Presentations	Eclipse Pro CodeSurfer/CodeSonar (on Blackboard) JLint