7.01.2023 |
18:27:28 |
softw. |
set of verification tools |
набор инструментов верификации (adacore.com) |
7.01.2023 |
18:23:08 |
dat.proc. |
powered by data |
на основе данных (capgemini-engineering.com) |
7.01.2023 |
18:21:32 |
IT bus.styl. |
data-driven transformation |
переход к принятию решений на основе данных (capgemini-engineering.com) |
7.01.2023 |
18:20:44 |
IT |
edge transformation |
переход к периферийным вычислениям (capgemini-engineering.com) |
7.01.2023 |
18:19:08 |
market. |
monetization opportunity |
возможность монетизации (capgemini-engineering.com) |
7.01.2023 |
18:18:12 |
IT |
zero-touch orchestration |
автоматическая оркестрация (capgemini-engineering.com) |
7.01.2023 |
18:17:24 |
tech. |
future-proof |
с заделом на будущее (capgemini-engineering.com) |
7.01.2023 |
17:49:27 |
softw. |
space software system |
программная система космического аппарата (adacore.com) |
7.01.2023 |
17:48:30 |
IT |
memory-limited target platform |
целевая платформа с ограниченными возможностями запоминающего устройства (adacore.com) |
7.01.2023 |
17:48:30 |
IT |
memory-limited target platform |
целевая платформа с минимальным объёмом памяти (adacore.com) |
7.01.2023 |
17:42:08 |
data.prot. |
cybersecurity vulnerability |
уязвимость с точки зрения информационной безопасности в компьютерных сетях (adacore.com) |
7.01.2023 |
17:38:19 |
avia. |
airworthiness security requirements. |
требования безопасности по лётной годности воздушных судов (adacore.com) |
7.01.2023 |
17:36:42 |
gen. |
under rare conditions |
при редко выполняющихся условиях (adacore.com) |
7.01.2023 |
17:35:13 |
progr. |
test-harness generator |
генератор тестовой оснастки (тестовая оснастка — класс, который определяет набор тестовых методов, по одному для каждого поведения, нуждающегося в проверке | из кн.: Фримен А. ASP.NET MVC 5 с примерами на C# для профессионалов adacore.com) |
7.01.2023 |
17:31:03 |
softw. |
critical software system |
критичная программная система (adacore.com) |
7.01.2023 |
16:14:57 |
sec.sys. |
threat-appropriate security |
обеспечение безопасности с учётом угроз (adacore.com) |
7.01.2023 |
16:12:56 |
IT |
fire control technology |
технология управления артиллерийским огнём (adacore.com) |
7.01.2023 |
16:10:45 |
mil., air.def. |
automatic cannon-based air defense |
зенитно-артиллерийский комплекс, использующий автоматические пушки (adacore.com) |
7.01.2023 |
16:05:22 |
softw. |
long-lived embedded system |
встроенная система с длительным жизненным циклом (adacore.com) |
7.01.2023 |
16:04:11 |
progr. |
in a laptop-based environment |
на портативном компьютере (adacore.com) |
7.01.2023 |
16:04:11 |
progr. |
on a laptop |
на портативном компьютере (adacore.com) |
7.01.2023 |
16:01:53 |
progr. |
on-site consulting services |
консультирование с выездом к заказчику (adacore.com) |
7.01.2023 |
16:00:53 |
progr. |
unit test |
выполнять модульное тестирование (adacore.com) |
7.01.2023 |
16:00:19 |
progr. |
dynamic analysis suite |
набор инструментов динамического анализа (adacore.com) |
7.01.2023 |
15:58:54 |
softw. |
long-lived software solution |
программное решение с длительным жизненным циклом (adacore.com) |
7.01.2023 |
15:57:42 |
softw. |
strong code performance |
высокая производительность кода (adacore.com) |
7.01.2023 |
15:57:13 |
softw. |
early detection of errors |
раннее обнаружение ошибок (adacore.com) |
7.01.2023 |
15:55:23 |
softw. |
multitask |
выполняться в многозадачном режиме (adacore.com) |
7.01.2023 |
15:54:45 |
softw. |
mission-critical embedded solution |
критичная встроенная система (adacore.com) |
7.01.2023 |
15:48:38 |
data.prot. |
safe state transitions |
безопасный переход между состояниями (adacore.com) |
7.01.2023 |
2:44:08 |
softw. |
system integrity constraint |
ограничение для соблюдения целостности системы (adacore.com) |
7.01.2023 |
2:37:25 |
econ. |
cost-effectively |
рентабельно (capgemini-engineering.com) |
7.01.2023 |
2:27:23 |
softw. |
military-grade software development |
разработка программного обеспечения военного назначения (adacore.com) |
7.01.2023 |
2:26:06 |
softw. |
source of undefined behavior |
источник неопределённого поведения (adacore.com) |
7.01.2023 |
2:24:48 |
auto. |
automotive |
автомобилестроение (adacore.com) |
7.01.2023 |
2:23:40 |
med. |
medical devices |
медицинское оборудование (adacore.com) |
7.01.2023 |
2:22:56 |
cryptogr. |
cryptographic software |
криптографическое программное обеспечение (adacore.com) |
7.01.2023 |
2:21:20 |
qual.cont. |
commercial-grade offering |
продукт, готовый к промышленному применению |
7.01.2023 |
2:18:16 |
softw. |
ultra-low-defect-level application |
приложение со сверхнизким количеством дефектов (на каждую тысячу строк исходного кода adacore.com) |
7.01.2023 |
2:16:55 |
softw. |
military-grade software |
программное обеспечение военного назначения (adacore.com) |
7.01.2023 |
2:15:38 |
econ. |
in a cost-effective manner |
экономически эффективным образом (adacore.com) |
7.01.2023 |
2:15:38 |
econ. |
in a cost-effective manner |
экономически эффективно (adacore.com) |
7.01.2023 |
2:15:38 |
econ. |
in a cost-effective manner |
рентабельно (adacore.com) |
7.01.2023 |
2:13:23 |
softw. |
ultra-high reliability |
сверхвысокая надёжность (adacore.com) |
7.01.2023 |
2:12:24 |
progr. |
reading an uninitialized variable |
чтение неинициализированной переменной |
7.01.2023 |
2:07:27 |
softw. |
formal verification tool |
инструмент формальной верификации (adacore.com) |
7.01.2023 |
2:06:32 |
softw. |
formal verification toolset |
набор инструментов формальной верификации (adacore.com) |
7.01.2023 |
2:05:52 |
softw. |
source of software defects |
источник дефектов программного обеспечения (adacore.com) |
7.01.2023 |
2:04:43 |
softw. |
formal verification framework |
платформа формальной верификации (adacore.com) |
7.01.2023 |
2:04:15 |
softw. |
static analysis toolset |
набор инструментов статического анализа (adacore.com) |
7.01.2023 |
2:03:33 |
softw. |
freedom from run-time errors |
отсутствие ошибок во время выполнения (adacore.com) |
7.01.2023 |
2:03:33 |
softw. |
freedom from run-time errors |
отсутствие динамических ошибок (adacore.com) |
7.01.2023 |
2:02:29 |
softw. |
full functional correctness |
полная функциональная корректность (adacore.com) |
7.01.2023 |
1:59:47 |
market. |
seize the opportunities that are coming |
воспользоваться открывающимися возможностями (capgemini-engineering.com) |
7.01.2023 |
1:58:57 |
market. |
navigate the challenges |
справиться с проблемами (capgemini-engineering.com) |
7.01.2023 |
1:56:21 |
psychol. |
insight |
понимание |
7.01.2023 |
1:45:22 |
progr. |
flow error |
ошибка потока данных |
7.01.2023 |
1:38:51 |
softw. |
automatic prover |
автоматический доказатель теорем (adacore.com) |
7.01.2023 |
1:29:51 |
rhetor. |
it's very obvious that |
совершенно очевидно, что |
6.01.2023 |
21:51:06 |
progr. |
thread-safety |
безопасность в многопоточной среде |
6.01.2023 |
21:50:38 |
progr. |
in a multithreaded context |
в многопоточной среде |
6.01.2023 |
21:38:54 |
progr. |
in a multithreaded context |
в условиях многопоточности |
6.01.2023 |
20:44:56 |
cryptogr. |
hardware-based random number generation |
аппаратная генерация случайных чисел |
6.01.2023 |
20:36:39 |
cryptogr. |
entropy source |
источник энтропии |
6.01.2023 |
20:29:17 |
math. |
space of random values |
пространство случайных величин |
6.01.2023 |
20:27:11 |
progr. |
boxed primitive type |
упакованный примитивный тип |
6.01.2023 |
20:26:56 |
progr. |
boxed value type |
упакованный значимый тип |
6.01.2023 |
20:25:41 |
progr. |
heap |
динамически выделенная память |
6.01.2023 |
20:25:12 |
progr. |
object in a heap |
объект в области динамической памяти |
6.01.2023 |
20:23:46 |
progr. |
unboxing |
механизм распаковки |
6.01.2023 |
20:23:31 |
progr. |
boxing |
механизм упаковки |
6.01.2023 |
20:20:13 |
progr. |
performance overhead |
накладные расходы по производительности |
6.01.2023 |
20:16:40 |
progr. |
performance-critical operation |
операция, влияющая на быстродействие (mitre.org) |
6.01.2023 |
20:05:39 |
data.prot. |
security-relevant weakness |
недостаток, влияющий на безопасность |
6.01.2023 |
19:58:38 |
USA |
federally funded research and development center |
научно-исследовательский и опытно-конструкторский институт, финансируемый из средств федерального бюджета |
6.01.2023 |
19:53:55 |
softw. |
legacy modernization |
модернизация унаследованного программного обеспечения |
6.01.2023 |
19:52:19 |
softw. |
application portfolio analysis |
анализ портфеля приложений |
6.01.2023 |
19:51:30 |
bus.styl. |
fact-based decision |
объективное решение |
6.01.2023 |
19:46:55 |
O&G |
data capture |
регистрация данных |
6.01.2023 |
19:45:33 |
progr. |
software economics |
экономика программного обеспечения |
6.01.2023 |
19:25:02 |
law |
pertinent information |
относимая информация (информация, относимая к делу) |
6.01.2023 |
19:24:10 |
softw. |
valid software engineering data |
достоверные сведения о программной инженерии |
6.01.2023 |
19:21:51 |
softw. |
set of software tools |
набор программных инструментов |
6.01.2023 |
19:18:47 |
softw. |
insight |
анализ (into ... – чего-л.: Software intelligence is insight into the structural condition of software assets produced by software designed to analyze database structure, software framework and source code to better understand and control complex software systems. — Разведка программного обеспечения – это анализ структурного состояния программных средств, производимый программным обеспечением, предназначенным для анализа структуры баз данных, программной платформы и исходного кода с целью улучшения понимания и контроля сложных программных систем.) |
6.01.2023 |
19:13:12 |
softw. |
software intelligence |
разведка программного обеспечения (анализ структурного состояния программных средств, производимый программным обеспечением, предназначенным для анализа структуры баз данных, программной платформы и исходного кода с целью улучшения понимания и контроля сложных программных систем) |
6.01.2023 |
19:13:12 |
softw. |
software intelligence |
аналитика программного обеспечения |
6.01.2023 |
19:11:55 |
IT |
feed |
поступать в (End results are automatically produced and feed a knowledge base. — Конечные результаты вычисляются автоматически и поступают в базу знаний.) |
6.01.2023 |
19:10:34 |
softw. |
software's inner-structure |
внутренняя структура программного обеспечения |
6.01.2023 |
19:09:07 |
softw. |
software catastrophe |
катастрофический сбой программного обеспечения (событие, которое существенно ухудшает, повреждает, отключает или выводит из строя часть или всё программное обеспечение) |
6.01.2023 |
19:08:23 |
softw. |
catastrophe |
катастрофический сбой (событие, которое существенно ухудшает, повреждает, отключает или выводит из строя часть или всю программную систему) |
6.01.2023 |
19:06:51 |
softw. |
software development organization |
организация по разработке программного обеспечения |
6.01.2023 |
19:06:21 |
softw. |
software health |
состояние программного обеспечения |
6.01.2023 |
19:05:13 |
IT |
in information technology environments |
в сфере информационных технологий |
6.01.2023 |
19:02:10 |
dat.proc. |
cross-check results |
выполнить перекрестную проверку результатов |
6.01.2023 |
19:00:43 |
progr. |
real-time computing language |
язык вычислений в реальном времени |
6.01.2023 |
18:56:28 |
HR |
be left without work |
остаться без работы |
6.01.2023 |
18:52:03 |
invest. euph. |
venture capitalist |
технологический инвестор |
6.01.2023 |
14:10:25 |
softw. |
enterprise application |
программный комплекс корпоративного уровня |
6.01.2023 |
13:59:57 |
softw. |
small-footprint |
нетребовательный по ресурсам |
5.01.2023 |
15:22:26 |
softw. |
feature creep |
ползучее расширение функциональности |