Failures as Specified Behavior

Planned post. This page is a stub.

Invalid requests, exhausted resources, faults, and partial updates.

Planned Coverage

Specify what changes and what remains unchanged when an operation fails.

Examples, definitions, and exercises will be developed here as the course progresses. See the course table of contents for the suggested reading order.