An introduction to preconditions, postconditions and invariants.
by Andrzej Krzemieński
From the video description:
Preconditions, postconditions, and invariants are part of what is often called Design by Contract, or Contract Programming. Even if you haven't heard of them, you are probably using them already. In this talk, we are going to see what they are, and how people and tools can make use of them.