progr. |
programming by contract (использование предусловий, постусловий, инвариантов при написании исходного кода Alex_Odeychuk); contract programming (подход к определению компонентов программного обеспечения, предложенный Парнасом, а затем популяризированный Мейером в языке программирования Eiffel. К настоящему моменту контрактное программирование выросло в популярную парадигму разработки программного обеспечения ssn); contract-based programming (Alex_Odeychuk); design by contract (Alex_Odeychuk); DbC (сокр. от "design by contract" Alex_Odeychuk) |