Terms for subject Programming containing If there is

English	Russian
If, as is quite common, there are ten interlock signals which allow a motor to start, the maintenance staff will need to be able to check these quickly in the event of a fault	Если, как это обычно бывает, имеется порядка десяти блокирующих друг друга сигналов, позволяющих запустить электродвигатель, обслуживающий персонал в случае неисправности должен быть способен быстро проверить все эти сигналы (см. E.A. Parr Programmable Controllers – An Engineer's Guide ssn)
if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton	если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
there are two kinds of execution-based testing: testing to specs black-box testing and testing to code whitebox testing. Both kinds use the same strategy of feeding the program with input data and observing if the output is as expected	Имеются два вида тестирования, основанного на выполнении программы: тестирование на основе технических требований тестирование методом чёрного ящика и тестирование по исходным текстам тестирование методом белого ящика. Оба вида используют ту же самую стратегию задания программе входных данных и наблюдения, тот ли выходной результат получается, который ожидался (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering)