אנגלית ⇄ רוסית +

pre and post conditions מתח
.תִכנו	предусловия и постусловия (средства контрактного программирования; корпорации AdaCore Alex_Odeychuk)