First Look at the Course Overview

Look at Petri-Nets

Concluding an Iteration

First Look at the Course Overview

Design Based on Models

Look at Gathering Requirements

Introduction to Control Dependence Graphs

Design Based on Models

Look at Gathering Requirements

Introduction to Control Dependence Graphs

Study of No Silver Bullet

Introduction to the C++ Concurrency Framework

Study of No Silver Bullet

Introduction to the C++ Concurrency Framework

Look at Deadlock Conditions

Overview of Build Management

Look at Deadlock Conditions

Overview of Build Management

Liveness and Safety Properties (Topic 2)

Introduction to Petri-Nets (Topic 1)

Specifications Based on Operations

Further Reading on No Silver Bullet

Further Notes on Design Principles

Principles of Model-Based Design