Terms for subject Programming containing выполнимость

Russian	English
выполнимость квалификационного испытания программного объекта	feasibility of software qualification testing (ssn)
выполнимость квалификационных испытаний системы	feasibility of system qualification testing (ssn)
выполнимость программного проекта	feasibility of software design (ssn)
задача логической выполнимости	boolean satisfiability problem (ssn)
логическая выполнимость	boolean satisfiability (ssn)
ограниченная проблема выполнимости	restricted satisfiability problem (ssn)
решатель задач выполнимости формул в комбинации теорий	SMT solver (Alex_Odeychuk)
решатель задач выполнимости формул с учётом лежащих в их основе теорий	SMT solver (IBM Alex_Odeychuk)
фаза анализа и планирования требований определяет выполнимость	inception phase establishes feasibility (ssn)