CSCI 5828 — Spring 2008

Foundations of Software Engineering

Lectures

The lectures of CSCI 5828 will be made available here.

Jan 16, 2008 3:40 PM

	Lecture 01: Course Overview
	Lecture 02: Intro to Software Engineering
	Lecture 02.5: No Silver Bullet
	Lecture 03: Introduction to Concurrency
	Lecture 04: Processes and Threads
	Lecture 05 and 06: Software Process
	Lecture 05 Supplement: Agile Design and Extreme Programming
	Lecture 07: Concurrent Execution
	Lecture 07: Example Code
	Lecture 08: Shared Objects
	Lecture 08: Example Code
	Lecture 09 and 10: Project Planning
	Lecture 11 and 12: Requirements
	Lecture 12: Petri Nets
	Lecture 12: Algebraic Specifications
	Lecture 13 and 17: Monitors/Condition Synchronization
	Lecture 18: Deadlock
	Lecture 18 and 19: Safety and Liveness Properties
	Lecture 19 and 20: Model-Based Design
	Lecture 22: OO Design
	Lecture 20, 21, and 23: Software Design
	Lecture 24 and 25: Testing Programs
	Lecture 26: Test Driven Design
	Lecture 27: Refactoring, Part 1
	Lecture 27: Refactoring, Part 2
	Lecture 28: Web 2.0
	Lecture 29: Getting Real