英语 ⇄ 俄语 +

pre and post conditions 强调
编程	предусловия и постусловия (средства контрактного программирования; корпорации AdaCore Alex_Odeychuk)