Terms for subject Programming containing contract programming

English	Russian
contract programming	контрактное программирование (подход к определению компонентов программного обеспечения, предложенный Парнасом, а затем популяризированный Мейером в языке программирования Eiffel. К настоящему моменту контрактное программирование выросло в популярную парадигму разработки программного обеспечения ssn)
contract-based programming	контрактное программирование (Alex_Odeychuk)
contract-based programming capabilities	средства контрактного программирования (Alex_Odeychuk)
contract-based programming facilities	средства контрактного программирования (allowing the programmer to specify preconditions, and/or postconditions for subprograms, and invariants for encapsulated (private) types; корпорации AdaCore Alex_Odeychuk)
contract-based programming features	средства контрактного программирования (напр., в языке Ada 2012 Alex_Odeychuk)
introduce support for contract-based programming	внедрить поддержку контрактного программирования (Alex_Odeychuk)
programming by contract	контрактное программирование (использование предусловий, постусловий, инвариантов при написании исходного кода Alex_Odeychuk)
programming-by-contract	контрактного программирования (Alex_Odeychuk)
support for contract-based programming	поддержка контрактного программирования (компании AdaCore Alex_Odeychuk)