契約プログラミング
1. Design by contractDesign by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary definition of abstract data types with preconditions, postconditions and invariants.
Read “Design by contract” on English Wikipedia
Read “契約プログラミング” on Japanese Wikipedia
Read “Design by contract” on DBpedia
Read “Design by contract” on English Wikipedia
Read “契約プログラミング” on Japanese Wikipedia
Read “Design by contract” on DBpedia
Discussions
Log in to talk about this word.