4.07.2016 |
20:33:50 |
progr. |
restrictions mechanism |
механизм ограничений (for banning specific features from an application; корпорации AdaCore) |
4.07.2016 |
20:32:28 |
progr. |
coding standards enforcement tool |
средство проверки на соответствие стандартам разработки кода (корпорации AdaCore) |
4.07.2016 |
20:32:18 |
progr. |
coding standards enforcement tool |
средство проверки на соответствие стандартам оформления кода (корпорации AdaCore) |
4.07.2016 |
20:28:13 |
progr. |
be compiler independent |
быть независимым от компилятора (корпорации AdaCore) |
4.07.2016 |
20:23:08 |
AI. |
automated insights |
результаты автоматической аналитической обработки |
4.07.2016 |
20:18:52 |
progr. |
automated code review |
автоматический обзор кода (корпорации AdaCore) |
4.07.2016 |
20:18:09 |
IT |
heap allocations |
выделение динамической памяти (связывание ячейки или ячеек памяти с переменной во время выполнения программы, а не во время компиляции adacore.com) |
4.07.2016 |
20:16:10 |
progr. |
assigning to a variable |
присваивание значения переменной (корпорации AdaCore) |
4.07.2016 |
20:15:35 |
progr. |
detect logic errors |
выявлять логические ошибки (such as assigning to a variable that is never subsequently referenced or testing a condition that always evaluates to the same true or false value; корпорации AdaCore) |
4.07.2016 |
20:12:22 |
progr. |
calling context |
контекст вызова (корпорации AdaCore) |
4.07.2016 |
20:10:24 |
d.b.. |
in isolation |
изолированно (корпорации AdaCore; из кн.: Гарсиа-Молина Г., Ульман Дж., Уидом Дж. Системы баз данных. Полный курс) |
4.07.2016 |
20:08:38 |
sec.sys. |
safety or security certification |
сертификация на соответствие требованиям по технической и информационной безопасности (корпорации AdaCore) |
4.07.2016 |
20:07:21 |
progr. |
remove latent bugs |
исправить скрытые ошибки (корпорации AdaCore) |
4.07.2016 |
20:06:19 |
progr. |
potential bugs and vulnerabilities |
потенциальные ошибки и уязвимости (корпорации AdaCore) |
4.07.2016 |
20:03:29 |
progr. |
references to uninitialized variables |
обращение к неинициализированным переменным (корпорации AdaCore) |
4.07.2016 |
19:54:31 |
gen. |
a number of activities |
ряд видов деятельности (associated with ... – ..., связанных с ...; корпорации AdaCore) |
4.07.2016 |
19:53:13 |
avia. |
commercial airborne system |
бортовая система летательных аппаратов гражданской авиации (корпорации AdaCore) |
4.07.2016 |
19:50:43 |
progr. |
standalone tool |
самостоятельное инструментальное средство (корпорации AdaCore) |
4.07.2016 |
19:50:14 |
progr. |
detect latent vulnerabilities |
выявлять потенциальные уязвимости (корпорации AdaCore) |
4.07.2016 |
19:50:14 |
progr. |
detect latent vulnerabilities |
выявлять скрытые уязвимости |
4.07.2016 |
19:46:01 |
busin. |
on-site consulting |
консультирование на предприятии заказчика (on topics such ... – по таким вопросам, как ...; корпорации AdaCore) |
4.07.2016 |
19:44:37 |
progr. |
bundled support |
комплексная поддержка (корпорации AdaCore) |
4.07.2016 |
19:42:44 |
progr. |
developer of the technology |
разработчик технологии (корпорации AdaCore) |
4.07.2016 |
19:39:14 |
progr. |
static and dynamic verification |
статическая и динамическая верификация программного обеспечения (корпорации AdaCore) |
4.07.2016 |
19:35:15 |
progr. |
machine independent |
платформонезависимый (корпорации AdaCore; контекстуальный перевод на русс. язык) |
4.07.2016 |
19:34:49 |
progr. |
compiler switch |
параметр компилятора (корпорации AdaCore) |
4.07.2016 |
19:33:32 |
progr. |
high-security system |
система с высокими требованиями по информационной безопасности (корпорации AdaCore) |
4.07.2016 |
19:31:25 |
progr. |
safety-critical and high-security systems |
системы с особыми требованиями по технической безопасности и высокими требованиями по информационной безопасности (adacore.com) |
4.07.2016 |
19:16:47 |
progr. |
additional features |
дополнительные средства (корпорации AdaCore) |
4.07.2016 |
19:15:35 |
progr. |
safety-critical requirements |
особые требования по функциональной безопасности (корпорации AdaCore) |
4.07.2016 |
19:14:05 |
progr. |
predefined profile |
предопределённый профиль (корпорации AdaCore) |
4.07.2016 |
19:07:01 |
progr. |
at a subprogram level |
на уровне подпрограмм (корпорации AdaCore) |
4.07.2016 |
18:59:24 |
IT |
high-assurance software |
программное обеспечение с высоким уровнем безопасности и доступности (программное обеспечение, требующее убедительных доказательств, что функциональные возможности программного обеспечения удовлетворяют установленным нормативным требованиям. Для достижения требуемого уровня безопасности и доступности могут применяться: тестирование на соответствие установленным нормам, тестирование на экспериментальных данных, формальные методы верификации программного обеспечения (автоматическое доказательство корректности программного обеспечения), определение оценки уровня полноты безопасности и использование средств контрактного программирования) |
4.07.2016 |
18:57:10 |
progr. |
high-assurance software |
программное обеспечение с гарантированной надёжностью |
4.07.2016 |
18:53:20 |
progr. |
meet a formal specification of the program's required behavior. |
соответствовать формальной спецификации требуемого поведения программы (корпорации AdaCore) |
4.07.2016 |
18:52:38 |
progr. |
software implementation |
реализация программного обеспечения (корпорации AdaCore) |
4.07.2016 |
18:51:40 |
progr. |
prove the absence of runtime exceptions |
доказать отсутствие ошибок во время выполнения (корпорации AdaCore) |
4.07.2016 |
18:49:43 |
progr. |
detection of uninitialized variables |
выявление неинициализированных переменных (корпорации AdaCore) |
4.07.2016 |
18:47:00 |
proj.manag. |
on a per-project basis |
на попроектной основе (корпорации AdaCore) |
4.07.2016 |
18:37:32 |
progr. |
high-reliability |
высоконадёжный (корпорации AdaCore) |
4.07.2016 |
18:37:23 |
progr. |
high-reliability application |
высоконадёжное приложение (корпорации AdaCore) |
4.07.2016 |
18:37:13 |
progr. |
high-reliability application |
приложение с высокими требованиями по надёжности (корпорации AdaCore) |
4.07.2016 |
18:36:49 |
progr. |
software development technology |
технология разработки программного обеспечения (корпорации AdaCore) |
4.07.2016 |
18:35:59 |
sec.sys. |
built-in reliability |
встроенная надёжность (корпорации AdaCore) |
4.07.2016 |
18:35:39 |
progr. |
concurrency facilities |
средства многопоточного программирования (корпорации AdaCore) |
4.07.2016 |
18:33:31 |
progr. |
distributed systems programming |
программирование распределённых систем (корпорации AdaCore) |
4.07.2016 |
18:28:38 |
progr. |
facilities for modular organization of code |
средства модульной организации кода (корпорации AdaCore) |
4.07.2016 |
18:26:48 |
progr. |
modular organization of code |
модульная организация кода (корпорации AdaCore) |
4.07.2016 |
18:22:45 |
progr. |
runtime checking |
проверка типов во время выполнения |
4.07.2016 |
18:22:31 |
progr. |
runtime checking |
проверка согласования типов во время выполнения (корпорации AdaCore) |
4.07.2016 |
18:10:00 |
progr. |
contract-based programming facilities |
средства контрактного программирования (allowing the programmer to specify preconditions, and/or postconditions for subprograms, and invariants for encapsulated (private) types; корпорации AdaCore) |
4.07.2016 |
18:08:23 |
progr. |
realtime programming |
программирование приложений реального времени (корпорации AdaCore) |
4.07.2016 |
18:08:00 |
progr. |
concurrency features |
средства многопоточного программирования (adacore.com) |
4.07.2016 |
18:06:00 |
progr. |
high-security application |
приложение с высокими требованиями по информационной безопасности (корпорации AdaCore) |
4.07.2016 |
18:04:32 |
progr. |
safety-critical application |
приложение с особыми требованиями по технической безопасности (корпорации AdaCore) |
4.07.2016 |
18:02:58 |
progr. |
rail system |
система управления железнодорожным движением (корпорации AdaCore; контекстуальный перевод на русс. язык) |
4.07.2016 |
18:01:36 |
progr. |
high-integrity application |
приложение с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore) |
4.07.2016 |
18:00:42 |
progr. |
task dispatching policy |
политика диспетчеризации задач (корпорации AdaCore) |
4.07.2016 |
17:59:59 |
progr. |
protected operation |
атомарная операция (корпорации AdaCore; контекстуальный перевод на русс. язык) |
4.07.2016 |
17:58:59 |
progr. |
protected object locking policy |
политика блокировки атомарных объектов (is defined using priority ceilings; корпорации AdaCore) |
4.07.2016 |
17:56:39 |
progr. |
tasking features |
средства управления задачами (корпорации AdaCore) |
4.07.2016 |
17:52:46 |
progr. |
task interactions |
взаимодействие задач (корпорации AdaCore) |
4.07.2016 |
17:52:35 |
progr. |
asynchronous task interactions |
асинхронное взаимодействие задач (корпорации AdaCore) |
4.07.2016 |
17:52:04 |
progr. |
under mutual exclusion |
с установлением взаимоисключающей блокировки (корпорации AdaCore) |
4.07.2016 |
17:48:02 |
progr. |
protected object |
атомарный объект (корпорации AdaCore; контекстуальный перевод на русс. язык) |
4.07.2016 |
17:46:16 |
comp., net. |
synchronous control |
синхронное управление |
4.07.2016 |
17:45:49 |
IT |
pipeline control |
управление конвейерной обработкой данных |
4.07.2016 |
17:45:29 |
progr. |
synchronous control mechanism |
механизм синхронной передачи данных (корпорации AdaCore) |
4.07.2016 |
17:45:14 |
progr. |
synchronous control |
синхронная передача данных (корпорации AdaCore) |
4.07.2016 |
17:43:10 |
progr. |
high-level facilities for concurrency |
средства высокоуровневого многопоточного программирования (корпорации AdaCore) |
4.07.2016 |
17:37:32 |
progr. |
OOP features |
средства объектно-ориентированного программирования (корпорации AdaCore) |
4.07.2016 |
17:37:00 |
progr. |
real-time constraints |
ограничения, связанные с функционированием в реальном времени (корпорации AdaCore) |
4.07.2016 |
17:34:35 |
progr. |
be put into special maintenance |
быть поставленным на специальное сопровождение (говоря о программном средстве; корпорации AdaCore) |
4.07.2016 |
17:32:31 |
progr. |
software assurance |
гарантия безопасности программного обеспечения (software assurance (SwA) consists of quality assurance, skill evaluation, verification and validation, and independent assessment. The goal of software assurance is to achieve a software package with a minimum level of error.) |
4.07.2016 |
15:07:17 |
progr. |
unit of concurrency |
единица многопоточной обработки (задача или атомарный обеъект; Tasks can communicate implicitly via shared data or explicitly via a synchronous control mechanism known as the rendezvous. A shared data item can be defined abstractly as an atomic object, with operations executed under mutual exclusion when invoked from multiple tasks. Asynchronous task interactions are also supported, specifically timeouts and task termination; корпорации AdaCore) |
4.07.2016 |
15:05:58 |
progr. |
program entity |
программная единица (корпорации AdaCore) |
4.07.2016 |
15:03:11 |
progr. |
facilities for concurrency |
средства многопоточного программирования (корпорации AdaCore) |
4.07.2016 |
15:02:26 |
progr. |
concurrent programming |
многопоточное программирование (корпорации AdaCore) |
4.07.2016 |
15:01:33 |
progr. |
storage reclamation operation |
операция освобождения динамической памяти (корпорации AdaCore) |
4.07.2016 |
15:00:34 |
progr. |
require automatic garbage collection |
требовать автоматического управления освобождением динамической памяти (корпорации AdaCore; из кн.: Михалкович С.С. Объектно-ориентированное программирование на языке C#: учебное пособие. – Ростов-на-Дону: Изд-во ЮФУ, 2008) |
4.07.2016 |
14:59:36 |
progr. |
automatic garbage collection |
автоматическое управление освобождением динамической памяти (корпорации AdaCore; из кн.: Михалкович С.С. Объектно-ориентированное программирование на языке C#: учебное пособие. – Ростов-на-Дону: Изд-во ЮФУ, 2008) |
4.07.2016 |
14:58:35 |
progr. |
large real-time system |
большая система реального времени (корпорации AdaCore) |
4.07.2016 |
14:57:56 |
progr. |
in the real-time domain |
в приложениях реального времени (корпорации AdaCore) |
4.07.2016 |
14:48:51 |
progr. |
mutual references between package specifications |
взаимные ссылки в спецификациях пакетов (корпорации AdaCore) |
4.07.2016 |
14:48:14 |
progr. |
modularization facilities |
средства модульной организации кода (корпорации AdaCore) |
4.07.2016 |
14:47:50 |
progr. |
encapsulation and modularization |
инкапсуляция и модуляризация (корпорации AdaCore) |
4.07.2016 |
14:46:16 |
progr. |
features for code modularization |
средства модульной организации кода (корпорации AdaCore) |
4.07.2016 |
14:45:52 |
progr. |
code modularization |
модульная организация кода (корпорации AdaCore) |
4.07.2016 |
14:44:56 |
progr. |
language's standardization |
стандартизация языка программирования (корпорации AdaCore; контекстуальный перевод на русс. язык) |
4.07.2016 |
14:44:15 |
progr. |
in the area of real-time technologies |
в сфере технологий разработки приложений реального времени (корпорации AdaCore) |
4.07.2016 |
14:43:22 |
progr. |
high-security |
с высокими требованиями по информационной безопасности |
4.07.2016 |
14:39:19 |
progr. |
verify compliance with a coding standard |
выполнять проверку на соответствие стандарту разработки кода (корпорации AdaCore) |
4.07.2016 |
14:39:14 |
progr. |
verify compliance with a coding standard |
выполнять проверку на соответствие стандарту оформления кода (корпорации AdaCore) |
4.07.2016 |
14:38:29 |
progr. |
final executable file |
выполняемый файл окончательной версии программного обеспечения (корпорации AdaCore) |
4.07.2016 |
14:37:40 |
progr. |
software's maintenance |
сопровождение программного обеспечения (корпорации AdaCore) |
4.07.2016 |
14:36:19 |
sec.sys. |
independent assessment |
независимое оценивание |
4.07.2016 |
14:35:11 |
softw. |
requirements for software safety functions |
требования по функциям безопасности программного обеспечения (корпорации AdaCore) |
4.07.2016 |
14:31:28 |
softw. |
requirements for software safety integrity |
требования по полноте безопасности программного обеспечения (корпорации AdaCore) |
4.07.2016 |
14:31:04 |
progr. |
software safety integrity requirements |
требования по полноте безопасности программного обеспечения (корпорации AdaCore) |
4.07.2016 |
14:30:57 |
softw. |
software safety integrity requirements |
требования к полноте безопасности программного обеспечения (корпорации AdaCore) |