Declarative Design

Excerpted from Domain-Driven Design Book

Definition: A form of programming in which a precise description of properties actually controls the software. An executable specification.