Goals, specs & plans · Concept

Executable specification

Requirements expressed through runnable examples or machine-checkable properties.