Requirements

Introduction to Deadlocks

Get a high-level preview of what deadlock is and the four necessary conditions that must all hold for it to occur.

Mutex and Semaphores

Compare mutexes and binary/counting semaphores as tools for enforcing mutual exclusion and coordinating threads.

Requirements Engineering

How teams elicit, analyze, specify, and validate functional and non-functional requirements before and during development.

Functional vs Non-Functional Requirements

How to distinguish what a system must do (functional requirements) from how well it must do it (non-functional requirements), and why both shape architecture.