21.07.2016 |
11:56:59 |
IT |
run-time |
вычислительное окружение (необходимое для выполнения компьютерной программы и доступное во время выполнения компьютерной программы) |
21.07.2016 |
11:54:20 |
progr. |
Ada code |
код на языке программирования Ada (корпорации AdaCore) |
21.07.2016 |
11:53:06 |
tech. |
fun to operate |
лёгкий в эксплуатации |
21.07.2016 |
11:47:05 |
transp. |
reduction in the cost of cargo transport |
сокращение расходов на перевозку грузов |
21.07.2016 |
11:21:25 |
progr. |
safety-critical embedded system |
встроенное приложение особо высокого уровня функциональной безопасности (корпорации AdaCore) |
21.07.2016 |
11:20:12 |
progr. |
fully compilable |
полностью компилируемый (корпорации AdaCore) |
21.07.2016 |
11:16:31 |
progr. |
library-level subprograms |
методы, объявленные в спецификации пакетов (subprograms declared inside package specs; из кн.: Макконнелл С. Совершенный код. Практическое руководство по разработке программного обеспечения) |
21.07.2016 |
11:15:57 |
progr. |
subprograms declared inside package specs |
методы, объявленные в спецификации пакетов (из кн.: Макконнелл С. Совершенный код. Практическое руководство по разработке программного обеспечения) |
21.07.2016 |
11:15:09 |
progr. |
subprogram of interest |
интересующий метод (из кн.: Макконнелл С. Совершенный код. Практическое руководство по разработке программного обеспечения) |
21.07.2016 |
11:14:20 |
progr. |
separate project |
отдельный проект (корпорации AdaCore) |
21.07.2016 |
11:14:02 |
progr. |
separate subproject |
отдельный подпроект (корпорации AdaCore) |
21.07.2016 |
11:12:38 |
progr. |
during elaboration |
во время предвыполнения (кода приложения; корпорации AdaCore) |
21.07.2016 |
10:56:20 |
transp. |
high passenger-density |
с высокой интенсивностью пассажирских перевозок |
21.07.2016 |
10:52:01 |
softw. |
safety-critical |
требующий особо высокого уровня безопасности (эксплуатации) |
21.07.2016 |
10:52:01 |
softw. |
safety-critical |
требующий особо высокого уровня безопасности эксплуатации |
21.07.2016 |
10:52:01 |
softw. |
safety-critical |
требующий особо высокого уровня технической безопасности |
21.07.2016 |
10:46:47 |
softw. |
safety-critical requirements |
требования особо высокого уровня технической безопасности (корпорации AdaCore) |
21.07.2016 |
10:46:34 |
softw. |
safety-critical requirements |
требования особо высокого уровня безопасности эксплуатации |
21.07.2016 |
10:46:02 |
softw. |
safety-critical requirements |
требования особо высокого уровня безопасности (эксплуатации) |
21.07.2016 |
10:45:38 |
softw. |
safety-critical |
особо высокого уровня безопасности эксплуатации |
21.07.2016 |
10:45:38 |
softw. |
safety-critical |
с особо высоким уровнем функциональной безопасности (корпорации AdaCore) |
21.07.2016 |
10:45:06 |
sec.sys. |
safety-critical |
особо высокого уровня безопасности (эксплуатации) |
21.07.2016 |
10:43:55 |
transp. |
cargo shipping |
грузоперевозки |
21.07.2016 |
10:40:00 |
transp. |
electric vehicle lineup |
линейка моделей электромобилей (New York Times) |
20.07.2016 |
23:39:40 |
softw. |
zero memory footprint |
нулевой объём памяти для среды выполнения (кода; корпорации AdaCore) |
20.07.2016 |
23:39:27 |
softw. |
ZMF |
нулевой объём памяти для среды выполнения (кода; сокр. от "zero memory footprint"; корпорации AdaCore) |
20.07.2016 |
23:36:30 |
softw. |
runtime |
среда выполнения кода (Microsoft) |
20.07.2016 |
23:36:12 |
softw. |
runtime |
среда для выполнения кода (Microsoft) |
20.07.2016 |
23:27:10 |
progr. |
qualifiable code generation |
генерация кода аттестуемых объектов информатизации (говоря о коде объекта информатизации, аттестуемом по требованиям безопасности информации; корпорации AdaCore) |
20.07.2016 |
23:18:44 |
sec.sys. |
security |
защита от утечки информации |
20.07.2016 |
23:16:58 |
mil. |
security requirements for military electronics |
требования по безопасности информации к электронной аппаратуре военного назначения |
20.07.2016 |
23:13:20 |
mil. |
test instrumentation |
аппаратура для проведения испытаний |
20.07.2016 |
23:08:16 |
softw. |
safety-critical |
с особыми требованиями по безопасности эксплуатации (корпорации AdaCore) |
20.07.2016 |
23:06:11 |
softw. |
safety-critical software |
программное обеспечение с особыми требованиями по безопасности эксплуатации (корпорации AdaCore) |
20.07.2016 |
23:05:31 |
progr. |
safety-critical application |
приложение с особыми требованиями по безопасности (эксплуатации) |
20.07.2016 |
23:04:18 |
progr. |
safety-critical application |
приложение с особыми требованиями к безопасности (эксплуатации) |
20.07.2016 |
23:03:34 |
AI. |
sub-action |
подчинённое действие |
20.07.2016 |
22:59:42 |
progr. |
safety-critical |
с особыми требованиями к безопасности (корпорации AdaCore) |
20.07.2016 |
22:57:31 |
progr. |
safety-critical |
с особыми требованиями по безопасности (безопасности эксплуатации (технической безопасности)) |
20.07.2016 |
22:57:13 |
progr. |
security- and safety-critical |
с особыми требованиями по безопасности (безопасности информации (информационной безопасности) и безопасности эксплуатации (технической безопасности); корпорации AdaCore) |
20.07.2016 |
22:41:49 |
progr. |
safety-critical |
с высшим уровнем безопасности эксплуатации (корпорации AdaCore) |
20.07.2016 |
22:41:49 |
progr. |
safety-critical |
с высшим уровнем функциональной безопасности (корпорации AdaCore) |
20.07.2016 |
22:38:15 |
progr. |
safety-critical project |
проект высшего уровня технической безопасности |
20.07.2016 |
22:34:49 |
idiom. |
do not compromise with his conscience |
не торговать своей совестью (New York Times) |
20.07.2016 |
22:33:34 |
media. |
journalistic circles |
журналистские круги (New York Times) |
20.07.2016 |
22:32:43 |
media. |
leading state-owned television station |
главный государственный телеканал (New York Times) |
20.07.2016 |
22:32:24 |
media. |
state-owned television station |
государственный телевизионный канал (New York Times) |
20.07.2016 |
22:32:05 |
media. |
state-owned television station |
государственный телеканал (New York Times) |
20.07.2016 |
22:31:09 |
law |
Ukrainian Prosecutor General |
Генеральный прокурор Украины (New York Times) |
20.07.2016 |
22:27:52 |
crim.law. |
crime against the constitutional order |
преступление против конституционного порядка (New York Times) |
20.07.2016 |
22:25:30 |
polit. |
run for re-election |
идти на второй срок (баллотироваться на выборах с целью быть избранным на выборную должность на новый срок; New York Times) |
20.07.2016 |
22:23:10 |
lab.law. |
overtime pay |
оплата сверхурочных работ (New York Times) |
20.07.2016 |
22:21:46 |
polit. |
nationwide demonstration |
общенациональная демонстрация (New York Times) |
20.07.2016 |
22:20:51 |
polit. |
continue fighting |
продолжать борьбу (against ... – против ... / с ...; New York Times) |
20.07.2016 |
22:19:43 |
lab.law. |
worker protections |
средства защиты трудовых прав работников (New York Times) |
20.07.2016 |
22:18:44 |
law |
labor law overhaul |
реформа трудового права (New York Times) |
20.07.2016 |
22:16:42 |
law |
overhaul of the country's labor law |
реформа национального трудового права (New York Times) |
20.07.2016 |
22:15:13 |
law |
cap on non-economic damages |
лимит ответственности за причинение морального вреда (NBC News; the ~) |
20.07.2016 |
22:13:08 |
law |
non-economic damages |
моральный вред (NBC News) |
20.07.2016 |
22:11:50 |
law |
non-economic |
моральный (NBC News) |
20.07.2016 |
22:11:23 |
law |
non-economic |
нематериальный (NBC News) |
20.07.2016 |
22:11:23 |
law |
noneconomic |
нематериальный |
20.07.2016 |
22:11:23 |
law |
noneconomic |
моральный |
20.07.2016 |
22:09:57 |
fin. |
cap |
лимит ответственности |
20.07.2016 |
22:09:01 |
crim.law. |
commit a criminal act |
совершить уголовно наказуемое деяние (NBC News) |
20.07.2016 |
22:09:01 |
crim.law. |
commit a criminal act |
совершить уголовное правонарушение |
20.07.2016 |
22:01:33 |
law |
terms of a settlement approved by a judge in a Michigan court |
условия мирового соглашения, утверждённого судьёй суда штата Мичиган (the ~) |
20.07.2016 |
19:47:08 |
progr. |
safety-critical project |
проект высшего уровня функциональной безопасности (корпорации AdaCore) |
20.07.2016 |
19:46:36 |
progr. |
run-time implementation |
реализация среды выполнения (корпорации AdaCore) |
20.07.2016 |
19:46:08 |
progr. |
tasking restrictions |
ограничения на многозадачность (корпорации AdaCore) |
20.07.2016 |
19:44:35 |
sec.sys. |
safety-critical |
критического уровня безопасности |
20.07.2016 |
19:44:15 |
progr. |
safety-critical |
критически высокого уровня технической безопасности |
20.07.2016 |
19:43:53 |
progr. |
safety-critical development |
разработка приложений критически высокого уровня технической безопасности (корпорации AdaCore) |
20.07.2016 |
19:42:39 |
progr. |
dynamic string manipulation |
динамическая обработка строк (корпорации AdaCore) |
20.07.2016 |
19:41:21 |
progr. |
low memory footprint |
оптимизированный под низкое потребление памяти (корпорации AdaCore) |
20.07.2016 |
19:38:43 |
progr. |
library-level tagged type |
библиотечный тегированный тип (корпорации AdaCore) |
20.07.2016 |
19:37:07 |
progr. |
certifiable run-time |
аттестуемая среда выполнения (adacore.com) |
20.07.2016 |
19:36:30 |
IT |
customized |
удовлетворяющий требованиям заказчика |
20.07.2016 |
19:35:13 |
progr. |
source code metrics |
метрики исходного кода (корпорации AdaCore) |
20.07.2016 |
19:34:37 |
softw. |
automatic documentation generation |
автоматическая генерация документации (корпорации AdaCore) |
20.07.2016 |
19:34:13 |
softw. |
configurable runtime |
среда выполнения с изменяемой конфигурацией (корпорации AdaCore) |
20.07.2016 |
19:33:38 |
softw. |
first-hand support |
первоклассная техническая поддержка (корпорации AdaCore) |
20.07.2016 |
19:32:36 |
IT |
for the host |
для исходной платформы (корпорации AdaCore) |
20.07.2016 |
19:32:31 |
IT |
for the host |
для инструментальной платформы (корпорации AdaCore) |
20.07.2016 |
19:31:46 |
progr. |
multi-language system |
разноязыковое приложение (т.е. приложение, отдельные части кода которого написаны на разных языках программирования; корпорации AdaCore) |
20.07.2016 |
19:31:09 |
progr. |
automatic builds of multi-language systems |
автоматическая сборка разноязыковых приложений (т.е. приложений, отдельные части кода которых написаны на разных языках программирования; корпорации AdaCore) |
20.07.2016 |
19:28:25 |
progr. |
security requirements |
требования по безопасности информации (корпорации AdaCore) |
20.07.2016 |
19:28:08 |
softw. |
certifiable runtime |
аттестуемая среда выполнения (напр., говоря о среде выполнения, аттестуемой органом по аттестации на период, в течение которого обеспечивается неизменность условий функционирования среды выполнения, могущих повлиять на характеристики, определяющие безопасность информации (состав и структура среды выполнения, условия развертывания и эксплуатации, средства и меры защиты) adacore.com) |
20.07.2016 |
19:23:10 |
softw. |
consulting and support services |
консультационные услуги и услуги технической поддержки (корпорации AdaCore) |
20.07.2016 |
19:20:45 |
softw. |
safety-critical requirement |
требования по обеспечению критического уровня технической безопасности |
20.07.2016 |
19:14:00 |
softw. |
safety-critical requirements |
требования по обеспечению критического уровня технической безопасности (корпорации AdaCore) |
20.07.2016 |
19:12:07 |
softw. |
configurable run-time library |
библиотека среды выполнения с изменяемой конфигурацией (корпорации AdaCore) |
20.07.2016 |
19:10:35 |
softw. |
high-reliability |
высокого уровня надёжности |
20.07.2016 |
19:08:00 |
inf. |
live in the house together |
жить вместе |
20.07.2016 |
19:08:00 |
inf. |
live in the house together |
совместно проживать |
20.07.2016 |
19:07:17 |
softw. |
security classification of the application |
категория защиты информации, обеспечиваемая приложением |
20.07.2016 |
18:51:13 |
softw. |
formally prove correctness |
формально доказать корректность (корпорации AdaCore) |
20.07.2016 |
18:49:17 |
softw. |
high-security |
высокого уровня безопасности |
20.07.2016 |
18:46:55 |
softw. |
IT security |
безопасность информации при применении информационных технологий (состояние защищённости информационной технологии, обеспечивающее безопасность информации, для обработки которой она применяется, и информационная безопасность автоматизированной информационной системы, в которой она реализована. См. Р 50.1.053-2005) |
20.07.2016 |
18:38:24 |
softw. |
security requirements |
требования по информационной безопасности (корпорации AdaCore) |