design by contract

Also known as design-by-contract, contract programming, programming by contract, design-by-contract programming, DbC

design of software based on formal, precise and verifiable interface specifications for software components