9.03.2016 |
17:34:13 |
progr. |
inherited by a private extension |
унаследованный приватным расширением |
9.03.2016 |
17:33:08 |
progr. |
class-wide precondition expression |
выражение-предусловие для надклассового типа (корпорации AdaCore) |
9.03.2016 |
17:17:44 |
progr. |
class-wide precondition check |
проверка предусловия надклассового типа (в языке императивного объектно-ориентированного параллельного программирования Ada 2012) |
9.03.2016 |
17:14:06 |
progr. |
non-obsolescent |
не объявленный устаревшим |
9.03.2016 |
17:06:42 |
progr. |
data-carrying |
передающий данные |
9.03.2016 |
17:05:51 |
progr. |
closed set of types |
замкнутый набор типов |
9.03.2016 |
17:05:08 |
rhetor. |
it is fair to say that |
будет справедливо сказать, что |
9.03.2016 |
17:02:49 |
progr. |
set of mutually recursive types |
набор взаимно рекурсивных типов |
9.03.2016 |
16:53:04 |
progr. |
predicate of a subtype |
предикат подтипа (корпорации AdaCore) |
9.03.2016 |
16:51:52 |
progr. |
order of evaluation when multiple predicates apply |
порядок вычисления в случае применения нескольких предикатов |
9.03.2016 |
16:37:51 |
astr. |
Laniakea |
Неизмеримые небеса (группа сверхскоплений галактик, сечение которой имеет диаметр около 160 мегапарсек, что более чем в пять тысяч раз больше диаметра Млечного Пути) |
9.03.2016 |
16:33:40 |
phys. |
spectroscopic survey |
спектроскопический обзор барионных осцилляций (baryon oscillation spectroscopic survey) |
9.03.2016 |
16:30:26 |
automat. |
self-driving car |
автомобиль на автономном управлении |
9.03.2016 |
16:26:30 |
progr. |
automatic code review |
автоматический обзор кода (корпорации AdaCore) |
9.03.2016 |
16:18:10 |
gen. |
in less than a day |
менее чем за день (между "менее" и "чем" запятая не нужна, поскольку контекст не содержит сравнения) |
9.03.2016 |
16:16:27 |
progr. |
multi-language development |
разработка программного обеспечения на разных языках программирования (корпорации AdaCore) |
9.03.2016 |
16:14:39 |
progr. |
mixed language object-orientated application |
приложение с объектно-ориентированным кодом на разных языках программирования (корпорации AdaCore) |
9.03.2016 |
16:14:03 |
progr. |
mixed language class |
класс с кодом на разных языках программирования (корпорации AdaCore) |
9.03.2016 |
16:11:33 |
progr. |
call graph |
граф вызовов методов (из кн.: Макконнелл С. Совершенный код. Практическое руководство по разработке программного обеспечения) |
9.03.2016 |
16:07:34 |
progr. |
multi-language development |
многоязыковая разработка программного обеспечения (с использованием нескольких языков программирования) |
9.03.2016 |
15:48:53 |
progr. |
inherited procedure |
унаследованная процедура (корпорации AdaCore) |
9.03.2016 |
15:45:38 |
progr. |
hierarchy of tagged types |
иерархия тегированных типов (корпорации AdaCore) |
9.03.2016 |
15:45:23 |
progr. |
multiple inheritance of implementation |
множественное наследование реализации (корпорации AdaCore) |
9.03.2016 |
15:40:50 |
ed. |
for academics and students |
для студентов и научно-педагогических кадров |
9.03.2016 |
15:27:59 |
progr. |
do a proof of type safety |
выполнить проверку на типобезопасность (корпорации AdaCore) |
9.03.2016 |
15:26:25 |
sec.sys. |
high-grade security |
с высокой степенью безопасности |
9.03.2016 |
15:21:36 |
progr. |
educational materials for the development of safety-critical software |
учебно-методические материалы по разработке программного обеспечения с особыми требованиями по технической безопасности (корпорации AdaCore) |
9.03.2016 |
15:21:00 |
ed. |
educational materials |
учебно-методические материалы |
9.03.2016 |
15:18:11 |
progr. |
research in the area of safety-critical software development |
научные исследования в сфере разработки программного обеспечения с особыми требованиями по функциональной безопасности (корпорации AdaCore) |
9.03.2016 |
15:17:18 |
progr. |
safety-critical software development |
разработка программного обеспечения с высокими требованиями по технической безопасности |
9.03.2016 |
15:17:00 |
progr. |
safety-critical software development |
разработка программного обеспечения с особыми требованиями по функциональной безопасности (корпорации AdaCore) |
9.03.2016 |
15:15:25 |
softw. |
development of safety-critical software |
разработка программного обеспечения с особыми требованиями по функциональной безопасности (корпорации AdaCore) |
9.03.2016 |
15:14:47 |
softw. |
safety-critical software |
программное обеспечение с особыми требованиями по функциональной безопасности (корпорации AdaCore) |
9.03.2016 |
15:07:12 |
comp., net. |
secunet |
защищённая сеть |
9.03.2016 |
15:07:12 |
comp., net. |
secunet |
для защищённой сети |
9.03.2016 |
15:06:18 |
progr. |
security-critical system |
система с высокими требованиями по защищённости (корпорации AdaCore) |
9.03.2016 |
15:06:05 |
progr. |
security-critical system |
система с высокими требованиями по информационной безопасности (корпорации AdaCore) |
9.03.2016 |
15:00:20 |
progr. |
high-profile safety-critical system |
система исключительной важности с особыми требованиями по технической безопасности (commercial aviation, military aviation, air-traffic management, railway, medical and space applications; корпорации AdaCore) |
9.03.2016 |
14:55:15 |
IT |
critical system |
критически важная система |
9.03.2016 |
14:54:03 |
AI. |
interactive proof checker |
интерактивная система автоматического доказательства теорем (корпорации AdaCore) |
9.03.2016 |
14:47:35 |
progr. |
verification conditions |
условия верификации |
9.03.2016 |
14:47:11 |
rhetor. |
that is not quite the case |
это не совсем так |
9.03.2016 |
14:38:20 |
rhetor. |
nothing really changes |
по сути ничего не изменилось |
9.03.2016 |
14:37:58 |
progr. |
information flow |
поток данных |
9.03.2016 |
14:31:33 |
progr. |
information flow model |
модель потоков данных |
9.03.2016 |
14:30:22 |
progr. |
imported value |
импортируемое значение |
9.03.2016 |
14:28:57 |
progr. |
exported value |
экспортированное значение |
9.03.2016 |
14:17:49 |
progr. |
minimal runtime system requirements |
минимальные требования к системе поддержки выполнения кода |
9.03.2016 |
14:16:13 |
progr. |
bounded resource |
ограниченный ресурс |
9.03.2016 |
14:11:07 |
progr. |
tasking |
выполнение задач |
9.03.2016 |
14:09:03 |
progr. |
unrestricted parallel tasking |
параллельное выполнение задач без ограничений |
9.03.2016 |
14:00:39 |
progr. |
technical overview |
технический обзор |
9.03.2016 |
13:59:58 |
progr. |
business data |
данные по основной деятельности |
9.03.2016 |
13:59:58 |
progr. |
business data |
корпоративные данные |
9.03.2016 |
13:59:33 |
progr. |
business integrity |
целостность данных по основной деятельности |
9.03.2016 |
13:59:21 |
progr. |
business integrity |
целостность корпоративных данных |
9.03.2016 |
13:59:02 |
sec.sys. |
business data integrity |
целостность данных по основной деятельности |
9.03.2016 |
13:58:19 |
sec.sys. |
business data integrity |
целостность корпоративных данных |
9.03.2016 |
13:53:06 |
progr. |
static and dynamic verification |
статическая и динамическая верификация (корпорации AdaCore) |
9.03.2016 |
13:51:13 |
progr. |
high-integrity software development |
разработка программного обеспечения с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций) |
9.03.2016 |
13:46:56 |
polit. |
primary results |
результаты предварительных выборов (CNN) |
9.03.2016 |
13:44:07 |
polit. |
primary results |
итоги предварительных выборов (CNN) |
9.03.2016 |
13:41:55 |
psychol. |
add to impressions that |
усиливать впечатление, что (CNN) |
9.03.2016 |
13:41:38 |
psychol. |
add to impressions that |
усугублять впечатление, что (CNN) |
9.03.2016 |
13:40:56 |
sport. |
poor showing |
низкие результаты (CNN) |
9.03.2016 |
13:38:33 |
rhetor. |
miserable |
унизительный |
9.03.2016 |
13:38:15 |
rhetor. |
miserable night |
унизительная ночь |
9.03.2016 |
13:34:38 |
busin. |
time tracking |
учёт и контроль рабочего времени |
9.03.2016 |
13:30:04 |
busin. |
tracking |
учёт и контроль |
9.03.2016 |
13:28:48 |
polit. |
convention fight |
борьба на съезде партии (CNN) |
9.03.2016 |
13:26:43 |
polit. |
race |
избирательная кампания (CNN) |
9.03.2016 |
13:24:09 |
polit. |
exit the race |
прекратить избирательную кампанию (CNN) |
9.03.2016 |
13:23:25 |
polit. |
rest on establishment support |
полагаться на поддержку номенклатуры (CNN) |
9.03.2016 |
13:22:43 |
polit. |
establishment support |
поддержка номенклатуры (CNN) |
9.03.2016 |
13:21:15 |
polit. |
fitness to serve as president |
соответствие должности президента (CNN) |
9.03.2016 |
13:20:22 |
sport. |
strong performance |
показанный высокий результат (CNN) |
9.03.2016 |
13:17:07 |
polit. |
superdelegate |
делегат на съезде по должности |
9.03.2016 |
13:16:38 |
polit. |
super delegate |
делегат на съезде по должности (говоря о делегате на съезд партии; CNN) |
9.03.2016 |
13:07:52 |
polit. |
party officials and officeholders |
ответственные работники и работники аппарата партии (CNN) |
9.03.2016 |
13:07:06 |
polit. |
sitting governor |
действующий губернатор (CNN) |
9.03.2016 |
13:06:51 |
polit. |
sitting governor |
правящий губернатор (CNN) |
9.03.2016 |
13:06:26 |
polit. |
sitting Democratic governor |
действующий губернатор от Демократической партии (CNN) |
9.03.2016 |
13:05:27 |
polit. |
party leader |
руководящий работник партии (CNN) |
9.03.2016 |
13:05:07 |
polit. |
party leader |
руководящий партийный работник (CNN) |
9.03.2016 |
13:04:33 |
polit. |
distinguished party leaders |
заслуженный руководящий работник партии (CNN) |
9.03.2016 |
13:03:21 |
polit. |
party official |
партийный деятель (CNN) |
9.03.2016 |
13:02:21 |
polit. |
officeholder |
работник государственного аппарата (CNN) |
9.03.2016 |
13:01:42 |
polit. |
officeholder |
аппаратчик (CNN) |
9.03.2016 |
13:01:42 |
polit. |
officeholder |
работник аппарата |
9.03.2016 |
12:59:54 |
scient. |
technical and scientific event |
научно-техническое мероприятие (корпорации AdaCore) |
9.03.2016 |
12:58:52 |
busin. |
annual international conference |
ежегодная международная конференция |
9.03.2016 |
12:54:47 |
busin. |
flagship event |
главное мероприятие |
9.03.2016 |
12:51:43 |
quot.aph. |
in academia, research and industry |
в системе образования и науки и в промышленности |
9.03.2016 |
12:50:06 |
NGO |
international non-profit organization |
международная общественная организация |
9.03.2016 |
12:50:06 |
NGO |
international non-profit organization |
международная неприбыльная организация |
9.03.2016 |
12:50:06 |
NGO |
international non-profit organization |
международная некоммерческая организация |
9.03.2016 |
12:41:30 |
progr. |
operations of discrete types |
операции над дискретными типами (корпорации AdaCore) |
9.03.2016 |
12:37:05 |
progr. |
language standardization process |
процесс разработки стандарта на язык программирования (корпорации AdaCore) |
9.03.2016 |
12:35:16 |
progr. |
edition of the language reference manual |
редакция справочного руководства по языку программирования (корпорации AdaCore) |
9.03.2016 |
12:33:55 |
progr. |
consolidated annotated language reference manual |
справочное руководство по языку программирования с комментариями, изменениями и дополнениями (корпорации AdaCore) |