properly – phrases

Terms for subject Programming containing properly | all forms | exact matches only

English	Russian
be properly typed	иметь надлежащий тип данных (корпорации AdaCore Alex_Odeychuk)
ensure that "square root" is invoked properly	убеждаться в корректности выполнения операции "извлечь квадратный корень" (ssn)
every properly guarded recursive equation	всякое должным образом предварённое рекурсивное уравнение (ssn)
make ... work properly	обеспечить корректную работу (Alex_Odeychuk)
make ... work properly	обеспечить нормальную работу (Alex_Odeychuk)
make ... work properly	обеспечить корректное функционирование (e.g., to make the navigation menu work properly – обеспечить корректное функционирование меню навигации Alex_Odeychuk)
not done properly	сделанный не должным образом (ssn)
once individual subsystems are working properly, they can then be integrated into the full design	как только индивидуальные подсистемы заработают правильно, их можно будет объединить в единую конструкцию
program using clocks properly	программа, в которой правильно организовано использование таймеров (IBM Alex_Odeychuk)
properly resolved many-to-many relationship	связь многие-ко-многим, разрешённая надлежащим образом (ssn)
To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution	для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)

Get short URL