EN

Synonyms for design by contract

  • noun

Most common

contract programming programming by contract

All synonyms

Noun

contract programming, programming by contract

Definitions

  1. n. 1

    A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants.