13.07.2016 |
12:26:21 |
scient. |
from the point of view |
с точки зрения |
13.07.2016 |
12:25:45 |
progr. |
review, testing and static analysis |
обзор кода, тестирование и статический анализ кода (корпорации AdaCore) |
13.07.2016 |
12:20:00 |
IT |
software component |
программный модуль (корпорации AdaCore; контекстуальный перевод на русс. язык) |
13.07.2016 |
12:19:00 |
AI. |
theorem proving methodology |
методология автоматического доказательства теорем (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта) |
13.07.2016 |
12:13:44 |
softw. |
be formally verified |
быть формально верифицированным (корпорации AdaCore) |
13.07.2016 |
11:42:19 |
logic |
first order logic formalism |
формализм логики первого порядка (quantifiers) |
13.07.2016 |
11:42:14 |
logic |
first-order logic-based formalism |
формализм логики первого порядка (quantifiers) |
13.07.2016 |
11:03:35 |
qual.cont. |
complementary assurance |
дополнительная гарантия (корпорации AdaCore) |
13.07.2016 |
11:01:59 |
bank. |
synergies |
взаимодействие подразделений банка (в продаже клиентам банковских услуг) |
13.07.2016 |
10:59:13 |
progr. |
data coupling |
сцепление программных модулей по данным (корпорации AdaCore) |
13.07.2016 |
10:59:00 |
progr. |
data coupling specification |
спецификация сцепления по данным (корпорации AdaCore) |
13.07.2016 |
10:58:54 |
progr. |
data coupling specification |
спецификация сцепления программных модулей по данным (корпорации AdaCore) |
13.07.2016 |
10:48:33 |
progr. |
code behavior |
поведение кода (из кн.: Рихтер Дж. CLR via C#. – 4-е изд. – СПб.: Питер, 2013) |
13.07.2016 |
10:46:27 |
softw. |
formal proof tool |
инструментальное средство формального доказательства корректности ПО (корпорации AdaCore) |
13.07.2016 |
10:45:36 |
progr. |
during testing |
во время тестирования (корпорации AdaCore) |
13.07.2016 |
10:44:05 |
progr. |
be defined in the code |
быть определённым в коде (корпорации AdaCore) |
13.07.2016 |
10:41:49 |
progr. |
failure assertion |
с проверкой ошибок (e.g., failure assertion programming – программирование с проверкой ошибок) |
13.07.2016 |
10:36:00 |
progr. |
at run time |
во время выполнения (корпорации AdaCore) |
13.07.2016 |
10:34:05 |
progr. |
partitioning |
выделение подобластей определения (входных данных; корпорации AdaCore) |
13.07.2016 |
10:27:53 |
progr. |
partition |
подобласть определения (входных данных; list of conditions of inputs with their associated expected output, verifying the following criteria: 1) The full spectrum of all potential values is covered, 2) There is no overlap between partitions. These criteria can be verified either dynamically, by verifying at test time that all inputs exercised fall into one and only one partition, or formally proving that the partition are indeed complete and disjoint. An example of such partitioning with two input variables in Ada 2012: function ArcTan (X, Y : Float) return Float with Contract_Cases => (X >= 0 and Y >= 0 => ArcTan’Result >= 0 and ArcTan’Result <= PI / 2, X < 0 and Y >= 0 => ArcTan’Result >= PI / 2 and ArcTan’Result <= PI, X < 0 and Y < 0 => ArcTan’Result >= PI and ArcTan’Result <= 3 * PI / 2, X >= 0 and Y < 0 => ArcTan’Result >= 3 * PI / 2 and ArcTan’Result <= 2 * PI)) |
13.07.2016 |
10:06:44 |
progr. |
partition |
выделение подобластей определения (входных данных) |
13.07.2016 |
9:53:58 |
progr. |
at the source code level |
на уровне исходного кода |
13.07.2016 |
9:49:38 |
progr. |
partitioning of the input domain |
выделение подобластей определения входных значений (корпорации AdaCore) |
13.07.2016 |
9:45:28 |
busin. |
extensive client franchise |
широкая клиентская база |
13.07.2016 |
9:45:08 |
busin. |
client franchise |
клиентская база |
13.07.2016 |
9:44:00 |
busin. |
diversified approach |
диверсифицированный подход |
13.07.2016 |
9:44:00 |
busin. |
diversified approach |
многоплановый подход |
13.07.2016 |
9:43:13 |
account. |
strengthening of the balance sheet |
совершенствование динамики и структуры статей бухгалтерского баланса |
13.07.2016 |
9:42:08 |
account. |
strengthening of the balance sheet |
совершенствование структуры бухгалтерского баланса |
13.07.2016 |
9:41:44 |
bank. |
strengthening of the balance sheet |
укрепления финансового состояния банка |
13.07.2016 |
9:41:31 |
busin. |
strengthening of the balance sheet |
укрепления финансового состояния предприятия |
13.07.2016 |
9:40:30 |
bank. |
non-core credit portfolio |
портфель кредитов непрофильным отраслям экономики |
13.07.2016 |
9:37:42 |
busin. |
proactive approach |
превентивный подход |
13.07.2016 |
9:37:14 |
busin. |
value creating opportunities |
возможности создания добавленной стоимости |
13.07.2016 |
9:36:30 |
busin. |
disciplined capital management |
рациональное управление капиталом |
13.07.2016 |
9:36:01 |
bank. |
RWA optimization |
оптимизация активов банка, взвешенных по риску |
13.07.2016 |
9:33:52 |
bank. |
RWA |
активы, взвешенные с учётом риска (сокр. от "risk weighted assets") |
13.07.2016 |
9:33:52 |
bank. |
risk weighted assets |
активы, взвешенные с учётом риска |
13.07.2016 |
9:31:31 |
busin. |
process efficiency |
эффективность технологического процесса (определяется рядом факторов: структурой технологического процесса, оборудованием, используемым в технологическом процессе, человеческим фактором) |
13.07.2016 |
9:28:58 |
bank. |
Corporate Investment Bank |
Корпоративный инвестиционный банк |
13.07.2016 |
9:24:06 |
market. |
digitalization |
переход на электронные каналы продаж |
13.07.2016 |
9:23:52 |
busin. |
digitalization |
переход на электронные каналы доставки |
13.07.2016 |
9:23:16 |
bank. |
digitalization |
переход на электронные каналы взаимодействия (с клиентами, акционерами) |
13.07.2016 |
9:21:51 |
bank. |
reshaping of the retail network |
реструктуризация сети отделений розничных продаж |
13.07.2016 |
9:20:14 |
bank. |
strict risk discipline |
строгая дисциплина в управлении рисками |
13.07.2016 |
9:19:36 |
bank. |
risk discipline |
дисциплина в управлении рисками |
13.07.2016 |
9:19:07 |
bank. |
risk discipline |
дисциплина управления рисками |
13.07.2016 |
9:18:21 |
busin. |
cross-selling |
организация перекрёстных продаж |
13.07.2016 |
9:17:29 |
bank. |
capital optimization opportunities |
возможности по оптимизации структуры капитала (банка) |
13.07.2016 |
9:17:03 |
bank. |
capital optimization |
оптимизация структуры капитала (банка) |
13.07.2016 |
9:14:44 |
fin. |
transformation process in operations management |
процесс преобразования в управлении операционной деятельностью |
13.07.2016 |
9:10:19 |
account. |
improve profitability |
повысить рентабельность |
13.07.2016 |
9:09:40 |
fin. |
capital position |
размер собственного капитала |
13.07.2016 |
9:08:36 |
busin. |
in-depth review of the strategy |
детальный обзор стратегии |
13.07.2016 |
1:08:13 |
progr. |
elaboration of package |
предвыполнение пакета (корпорации AdaCore) |
13.07.2016 |
1:07:37 |
progr. |
in the embedded context |
во встроенных системах (корпорации AdaCore; контекстуальный перевод на русс. язык) |
13.07.2016 |
0:56:59 |
industr. |
A&D |
аэрокосмическая и военная промышленность (сокр. от "Aerospace & Defense"; корпорации AdaCore) |
13.07.2016 |
0:53:38 |
microel. |
custom processor |
специализированный процессор (корпорации AdaCore) |
13.07.2016 |
0:52:19 |
progr. |
software life cycle tool |
инструментальное средство управления жизненным циклом программного обеспечения (корпорации AdaCore) |
13.07.2016 |
0:50:52 |
IT |
footprint |
требования по ресурсам (корпорации AdaCore) |
13.07.2016 |
0:48:32 |
industr. |
A&D industry |
аэрокосмическая и военная промышленность (A&D – сокр. от "Aerospace & Defense"; корпорации AdaCore) |
13.07.2016 |
0:43:19 |
softw. |
A&D |
аэрокосмические системы и системы военного назначения (сокр. от "Aerospace & Defense") |
13.07.2016 |
0:43:19 |
softw. |
Aerospace & Defense |
аэрокосмические системы и системы военного назначения |
13.07.2016 |
0:40:58 |
softw. |
train control system |
система управления железнодорожным движением (корпорации AdaCore) |
13.07.2016 |
0:38:26 |
progr. |
development and verification tools for safety- and mission-critical systems |
инструментальные средства разработки и верификации систем жёсткого реального времени с особыми требованиями по технической безопасности (корпорации AdaCore) |
13.07.2016 |
0:37:24 |
softw. |
safety- and mission-critical system |
система жёсткого реального времени с особыми требованиями по технической безопасности (корпорации AdaCore) |
13.07.2016 |
0:35:24 |
IT |
technical account management |
деятельность по технической поддержке (корпорации AdaCore) |
13.07.2016 |
0:34:50 |
IT |
technical account manager |
специалист по технической поддержке (корпорации AdaCore) |
13.07.2016 |
0:33:33 |
fig.of.sp. |
gray beard |
дед |
13.07.2016 |
0:33:33 |
fig.of.sp. |
gray beard |
дедушка |
13.07.2016 |
0:31:16 |
progr. |
development of reliable software |
разработка надёжного программного обеспечения (корпорации AdaCore) |
13.07.2016 |
0:29:21 |
busin. |
software-centric culture |
культура, признающая центральную роль программного обеспечения в деятельности организации (корпорации AdaCore) |
13.07.2016 |
0:28:01 |
idiom. |
the last wheel of the coach |
пятое колесо в телеге (никому не нужная или маловажная вещь) |
13.07.2016 |
0:24:52 |
progr. |
storage management |
управление распределением памяти (корпорации AdaCore) |
13.07.2016 |
0:23:55 |
progr. |
embedded programming features |
средства программирования встроенных систем (корпорации AdaCore) |
13.07.2016 |
0:23:12 |
progr. |
on bare metal |
без операционной системы (корпорации AdaCore; контекстуальный перевод на русс. язык) |
13.07.2016 |
0:16:40 |
progr. |
task-related objects |
объекты, связанные с многозадачностью (tasks themselves and protected objects in Ada 2012) |
13.07.2016 |
0:13:38 |
progr. |
simultaneous calls to procedures |
одновременные вызовы процедур (корпорации AdaCore) |
13.07.2016 |
0:13:22 |
progr. |
simultaneous calls |
одновременные вызовы (корпорации AdaCore) |
13.07.2016 |
0:12:49 |
progr. |
function calls |
вызовы функций (корпорации AdaCore) |
13.07.2016 |
0:11:28 |
progr. |
call graph |
граф вызовов функций и процедур |
13.07.2016 |
0:11:18 |
progr. |
call graph |
граф вызовов функций |
13.07.2016 |
0:10:13 |
progr. |
simultaneous calls to functions |
одновременные вызовы функций (корпорации AdaCore) |
13.07.2016 |
0:08:58 |
progr. |
bare metal platform |
платформа без операционной системы (корпорации AdaCore) |
13.07.2016 |
0:07:27 |
progr. |
stored in the object |
хранимый в объекте (корпорации AdaCore) |
13.07.2016 |
0:07:10 |
progr. |
value stored in the object |
значение, хранимое в объекте (корпорации AdaCore) |
13.07.2016 |
0:06:48 |
progr. |
read access of values stored in the object |
доступ на чтение значений, хранимых в объекте (корпорации AdaCore) |
13.07.2016 |
0:04:27 |
IT |
handle interrupts from the hardware |
обрабатывать прерывания аппаратных средств (корпорации AdaCore) |
13.07.2016 |
0:03:43 |
progr. |
mutually exclusive access to data |
взаимоисключающий доступ к данным (корпорации AdaCore) |
13.07.2016 |
0:02:06 |
progr. |
tasking management |
управление многозадачностью (корпорации AdaCore) |
13.07.2016 |
0:00:59 |
progr. |
tasking |
многозадачность (корпорации AdaCore) |
12.07.2016 |
23:59:47 |
progr. |
create a periodic task |
создать периодическую задачу (корпорации AdaCore) |
12.07.2016 |
23:59:11 |
progr. |
embedded real-time multitasking |
управление задачами в реальном времени во встроенных системах (корпорации AdaCore) |
12.07.2016 |
23:58:58 |
progr. |
embedded real-time multitasking |
многозадачность в реальном времени во встроенных системах (корпорации AdaCore) |
12.07.2016 |
23:58:09 |
progr. |
real-time multitasking |
многозадачность в реальном времени (корпорации AdaCore) |
12.07.2016 |
23:57:50 |
progr. |
real-time multitasking |
управление задачами в реальном времени (корпорации AdaCore) |
12.07.2016 |
23:57:02 |
progr. |
lock-free computation |
вычисления без блокировок (корпорации AdaCore) |
12.07.2016 |
23:57:02 |
progr. |
lock-free computation |
безблокировочные вычисления |
12.07.2016 |
23:55:16 |
progr. |
tasking model |
модель управления задачами (корпорации AdaCore) |
12.07.2016 |
23:54:54 |
progr. |
multi-tasking application |
многозадачное приложение (корпорации AdaCore) |