Terms for subject Programming containing deriving

English	Russian
deriving detailed requirements	выделение детальных требований (ssn)
deriving detailed requirements from high-level requirements	выделение детальных требований из требований более высокого уровня (ssn)
method to derive invariants	метод конструирования инвариантов (ssn)
way of deriving the statement	способ доказательства утверждения (ssn)