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
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).