A **prompting** technique where you provide a formal or semi-formal specification (requirements document, API contract, schema, or test cases) and ask the AI to generate code that satisfies it. (Ch. 10)