Terms containing contract programming

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