Subject | English | Russian |
progr. | algorithm's correctness | корректность алгоритма (ssn) |
polit. | anti-political correctness rhetoric | риторика, направленная на отрицание понятия политической корректности (CNN Alex_Odeychuk) |
progr. | assertions for correctness | утверждение в целях проверки корректности программного обеспечения (Alex_Odeychuk) |
gen. | audit for correctness | аудит корректности (Ремедиос_П) |
progr. | be checked compile-time for correctness | проверяться на корректность во время компиляции (Alex_Odeychuk) |
Makarov. | be convinced of the correctness of the testimony | удостовериться в правильности показаний |
Makarov. | be convinced of the correctness of the testimony | удостовериться в истинности показаний |
gen. | check correctness of paperwork | проверить правильность оформления документации (Alexander Demidov) |
gen. | check the formal correctness of | проверять правильность оформления (Alexander Demidov) |
gen. | checking of formal correctness of | проверка правильности оформления (Alexander Demidov) |
progr. | code correctness | корректность реализации (в соответствии с формально определенной спецификацией Alex_Odeychuk) |
progr. | code correctness | корректность кода (в соответствии с формально определенной спецификацией Alex_Odeychuk) |
progr. | code correctness | правильность кода (ssn) |
progr. | code correctness and efficiency | правильность и эффективность кода (ssn) |
progr. | code's correctness | правильность кода (Alex_Odeychuk) |
progr. | code's correctness | корректность кода (Alex_Odeychuk) |
math. | coefficient of correctness | коэффициент корректности |
progr. | coincidental correctness | случайная корректность (ssn) |
mech.eng. | completeness and correctness | полнота и правильность оформления (документации Phyloneer) |
mech.eng. | completeness and correctness | полнота и правильность (Phyloneer) |
mil., avia. | computational correctness | возможность выполнения безошибочных вычислений (possibility) |
mil., avia. | control flow correctness | правильность структурной схемы управления |
metrol. | control on the correctness | контроль за правильностью |
progr. | correctness argument | доказательство корректности (ssn) |
progr. | correctness arguments | доказательства корректности (ssn) |
softw. | correctness at compile time | корректность во время выполнения (InfoWorld Alex_Odeychuk) |
progr. | correctness criteria | критерии правильности (см. static code analysis; функционирования программы ssn) |
progr. | correctness guarantee on concurrent calls | гарантия корректности одновременных вызовов (Alex_Odeychuk) |
telecom. | correctness index | показатель верности (цифровых сообщений) |
telecom. | correctness measure | мера верности (речевых сообщений) |
progr. | correctness of a complex real-time system | корректность сложных систем реального времени (ssn) |
automat. | correctness of a measuring instrument | правильность измерительного прибора |
meas.inst. | correctness of algorithms | корректность алгоритмов (ssn) |
progr. | correctness of algorithms | правильность алгоритмов (ssn) |
meas.inst. | correctness of algorithms and functions | корректность алгоритмов и функций (ssn) |
progr. | correctness of an algorithm | правильность алгоритма (ssn) |
patents. | correctness of an allegation | правильность утверждения |
econ. | correctness of calculations | правильность расчётов |
microel. | correctness of designed circuits | правильность проектируемых схем |
railw. | correctness of distribution | правильность роспуска (отцепов) |
archit. | correctness of drawings | правильность чертежей |
gymn. | correctness of execution | форма выполнения |
hydrol. | correctness of forecast | оправдываемость прогноза |
math. | correctness of forecast | точность прогноза |
progr. | correctness of functional safety assessment | корректность оценки функциональной безопасности (ssn) |
product. | correctness of installation | правильность выполненного монтажа (Konstantin 1966) |
automat. | correctness of measurements | правильность измерений |
progr. | correctness of modification | корректность модификации (ПО ssn) |
progr. | correctness of modification with respect to its requirements | корректность модификации в соответствии с требованиями к модификации (ssn) |
econ. | correctness of payment | правильность платежа |
progr. | correctness of programs | правильность программ (ssn) |
progr. | correctness of software | отсутствие дефектов в программном обеспечении (Alex_Odeychuk) |
progr. | correctness of software | корректность программного обеспечения (Alex_Odeychuk) |
progr. | correctness of software functional safety assessment | корректность оценки функциональной безопасности ПО (ssn) |
progr. | correctness of software functional safety assessment | корректность оценки функциональной безопасности программного обеспечения (ssn) |
progr. | Correctness of software functional safety assessment with respect to the design specifications successful completion | Корректность оценки функциональной безопасности программного обеспечения в соответствии с проектными спецификациями успешное выполнение (см. IEC 61508-7: 2010 ssn) |
progr. | correctness of the algorithm | корректность алгоритма (ssn) |
progr. | correctness of the implementation against a formally defined specification | корректность реализации в соответствии с формально определённой спецификацией (корпорации AdaCore Alex_Odeychuk) |
Makarov. | correctness of the subtraction has been proved | правильность вычитания проверена |
progr. | correctness of validation | корректность подтверждения соответствия (ssn) |
progr. | correctness of validation with respect to the software design specification | корректность подтверждения соответствия в соответствии со спецификацией проекта программного обеспечения (ssn) |
progr. | correctness of verification | корректность верификации (ssn) |
progr. | correctness of verification with respect to the previous phase | корректность верификации в соответствии с предыдущей стадией (ssn) |
Gruzovik | correctness of views | правильность воззрений |
math. | correctness problem | задача о правильности |
comp. | correctness proof | доказательство правильности |
math. | correctness set | множество корректности |
progr. | demonstrate functional correctness | доказать функциональную корректность программного обеспечения (Washington Post Alex_Odeychuk) |
polit. | disregard to political correctness | неприятие политической корректности (Alex_Odeychuk) |
polit. | epidemic of political correctness | эпидемия политической корректности |
hist. | era of political correctness | эпоха политической корректности (CNN; the ~ Alex_Odeychuk) |
progr. | examine function diagrams for logical correctness on the PC | проверять на компьютере правильность логики функциональных диаграмм (ssn) |
progr. | exception handling correctness | корректность обработки исключений (Alex_Odeychuk) |
progr. | formal definition of correctness | формальное определение правильности (ssn) |
progr. | formal proof of correctness | формальное доказательство корректности (корпорации AdaCore Alex_Odeychuk) |
softw. | formally prove correctness | формально доказать корректность (корпорации AdaCore Alex_Odeychuk) |
softw. | full correctness proofs | доказательства полной корректности ПО (корпорации AdaCore Alex_Odeychuk) |
softw. | full functional correctness | полная функциональная корректность (adacore.com Alex_Odeychuk) |
progr. | functional correctness | функциональная корректность (ssn) |
microel. | functional correctness | функциональная правильность |
progr. | functional correctness verification | верификация функциональной корректности (ssn) |
ling. | grammatical correctness | грамматическая правильность (Arwen Eleniel) |
Gruzovik, gram. | grammatical correctness | грамотность |
gen. | grammatical correctness | грамотность (грамматическая правильность) |
progr. | guaranteeing the correctness of a complex real-time system | обеспечение корректности сложных систем реального времени (ssn) |
comp. | handwaving correctness arguments | доказательства корректности "на пальцах" (ssn) |
polit. | have total disdain for political correctness | испытывать полное неприятие политической корректности (Alex_Odeychuk) |
Makarov. | his correctness of politeness was perhaps a little obvious | его вежливость казалась чуточку деланной |
Makarov. | his correctness of politeness was perhaps a little obvious | его вежливость казалась чуточку натянутой |
gen. | his correctness of politeness was perhaps a little obvious | правильность его вежливость казалась чуточку натянутой |
Makarov. | his correctness of speech was perhaps a little obvious | правильность его речи казалась чуточку натянутой |
Makarov. | his correctness of speech was perhaps a little obvious | правильность его речи казалась чуточку деланной |
gen. | his correctness of speech was perhaps a little obvious | правильность его речи казалось чуточку деланной |
Makarov. | I accept the correctness of your statement | признаю правильность вашего утверждения |
polit. | ignore political correctness | игнорировать нормы политической корректности (CNN Alex_Odeychuk) |
construct. | information correctness | верность информации |
gen. | logical correctness | логическая состоятельность (A.Rezvov) |
logic | material correctness | соответствие фактам (утверждений и т.п. A.Rezvov) |
logic | material correctness | справедливость по сути (утверждений и т.п. A.Rezvov) |
softw. | mathematically proven code correctness | математически доказанная корректность кода (embedded.com Alex_Odeychuk) |
metrol. | monitoring of correctness | управление правильностью |
law | no Warranty for Correctness and Completeness | Отсутствие гарантии правильности и полноты конфиденциальной информации (в соглашениях о конфиденциальности) |
polit. | notion of political correctness | понятие политической корректности (CNN Alex_Odeychuk) |
IT | partial correctness | частичная правильность |
progr. | partial correctness | частичная корректность (свойство программы вычислять желаемый результат при условии, что она завершается ssn) |
geophys. | physical correctness | физическая корректность |
Makarov. | pointed correctness | безукоризненная точность |
gen. | political correctness | политкорректность |
polit. | political correctness | стремление соблюсти бесконфликтность (Alex_Odeychuk) |
law | political correctness | этическая терминология (Alexander Demidov) |
gen. | political correctness | политическая корректность (oVoD) |
gen. | political correctness gone mad | политкорректность, доведённая до абсурда (Clepa) |
softw. | program correctness | корректность программы (Alex_Odeychuk) |
progr. | program correctness | корректность программ (ssn) |
IT | program correctness proof | доказательство правильности программы |
progr. | proof of correctness | доказательство правильности (ssn) |
progr. | proof of correctness in terms of loop invariants | доказательство правильности в терминах инвариантов циклов (ssn) |
progr. | proving an algorithm's correctness | оценка корректности алгоритма (ssn) |
progr. | reasoning about correctness | обоснование правильности (напр., алгоритма ssn) |
polit. | sacrifice the truth on the altar of political correctness | приносить истину в жертву на алтарь политической корректности (Alex_Odeychuk) |
progr. | safety and correctness | техническая безопасность и корректность (IBM Alex_Odeychuk) |
patents. | satisfy the examiner of the correctness of the statement | убеждать эксперта в правильности утверждений |
softw. | semi-formal and formal proofs of correctness | полуформальные и формальные доказательства корректности (корпорации AdaCore Alex_Odeychuk) |
gen. | she spoke with pedantic correctness of pronunciation | она выговаривала слова слишком уж правильно |
Makarov. | show complete disregard for political correctness | полностью игнорировать требования политкорректности |
progr. | Since we have neither the mathematical tools nor the intellectual capacity to model the complete behavior of large discrete systems, we must be content with acceptable level of confidence regarding their correctness | Поскольку у нас нет ни математического аппарата, ни интеллектуальных возможностей для полноценного моделирования поведения больших дискретных систем, мы должны удовлетвориться приемлемым уровнем уверенности в их правильной работе (см. Object-Oriented Analysis and Design with Applications 3rd Edition by Grady Booch ssn) |
progr. | static correctness | статическая корректность (IBM Alex_Odeychuk) |
progr. | system correctness | корректность системы (ssn) |
Makarov. | the correctness of Pauling's interpretation is open to question | правильность интерпретации Полинга остается спорной |
Makarov. | the correctness of Pauling's interpretation is open to question on several grounds | правильность интерпретации Полинга является спорной по нескольким соображениям |
Makarov. | the correctness of the subtraction has been proved | правильность вычитания проверена |
Makarov. | the harbour is described with pointed correctness | гавань описана с исключительной точностью |
Makarov. | the harbour is described with pointedly correctness | гавань описана с исключительной точностью |
progr. | theory of correctness | теория правильности (программ ssn) |
polit. | toe the lines of political correctness | соблюдать нормы политической корректности (Alex_Odeychuk) |
progr. | total correctness | корректность (свойство программы вычислять желаемый результат и завершаться ssn) |
progr. | total correctness | полная правильность (ssn) |
polit. | total disregard for political correctness | полный отказ от политической корректности (CNN Alex_Odeychuk) |
polit. | violation of political correctness | нарушение политической корректности (Alex_Odeychuk) |
law | warranty of correctness of facts set out in preamble | гарантия правильности фактов, изложенных в преамбуле (oVoD) |