13.07.2016 |
23:26:06 |
ed. |
director of teaching |
заведующий учебной частью |
13.07.2016 |
23:26:06 |
ed. |
director of teaching |
завуч |
13.07.2016 |
23:24:42 |
philos. |
in a non-judgemental manner |
толерантно |
13.07.2016 |
23:24:42 |
philos. |
in a non-judgemental manner |
снисходительно |
13.07.2016 |
23:24:42 |
philos. |
in a non-judgemental manner |
без резких оценок |
13.07.2016 |
23:22:30 |
philos. |
have implicit standards |
предполагать соблюдение неписаных норм и правил |
13.07.2016 |
23:21:39 |
rhetor. |
or anything along those lines |
или что-то вроде того |
13.07.2016 |
23:21:39 |
rhetor. |
or anything along those lines |
или что-нибудь в том же духе |
13.07.2016 |
23:17:56 |
progr. |
during a rendezvous |
во время рандеву (корпорации AdaCore) |
13.07.2016 |
23:15:10 |
progr. |
deallocate a running task |
освободить память, занимаемую активной задачей (корпорации AdaCore) |
13.07.2016 |
23:13:23 |
IT |
running task |
запущенная задача |
13.07.2016 |
23:09:20 |
progr. |
continue to the next task |
продолжить выполнение следующей задачи |
13.07.2016 |
23:07:02 |
IT |
on process exit |
по выходу из процесса |
13.07.2016 |
23:03:56 |
progr. |
bare board system |
платформа без операционной системы (корпорации AdaCore) |
13.07.2016 |
23:03:20 |
progr. |
target |
компилятор, производящий код для целевой платформы (при этом компиляция выполняется на исходной платформе; корпорации AdaCore) |
13.07.2016 |
22:54:16 |
TV |
retransmission fee |
комиссия за ретрансляцию |
13.07.2016 |
22:54:16 |
TV |
retransmission fee |
комиссионное вознаграждение за ретрансляцию |
13.07.2016 |
21:51:11 |
formal |
Distributed System Annex |
приложение "Распределенные системы" (приложение к стандарту) |
13.07.2016 |
20:57:42 |
softw. |
modified condition/decision coverage |
модифицированный метод покрытия условий и альтернатив (Для обеспечения полного покрытия по этому методу необходимо выполнение следующих условий: 1) каждое логическое условие должно принимать все возможные значения; 2) каждый компонент логического условия должен хотя бы один раз принимать все возможные значения; 3) должно быть показано независимое влияние каждого из компонентов на значение логического условия, т.е. влияние при фиксированных значениях остальных компонентов. Покрытие по этой метрике требует достаточно большого количества тестов для того, чтобы проверить каждое условие, которое может повлиять на результат выражения, однако это количество значительно меньше, чем требуемое для метода покрытия по всем условиям. nasa.gov) |
13.07.2016 |
20:46:15 |
progr. |
safety-critical and high-integrity software |
программное обеспечение с высоким уровнем полноты безопасности и особыми требованиями по технической безопасности |
13.07.2016 |
20:34:07 |
law |
commitment to impartiality |
обязанность сохранять беспристрастность (New York Times) |
13.07.2016 |
20:33:10 |
law |
judicial independence |
независимость судей (New York Times) |
13.07.2016 |
20:32:07 |
polit. |
remain outside the presidential process |
оставаться вне избирательной кампании по выборам на пост президента (New York Times) |
13.07.2016 |
20:31:24 |
polit. |
refrain from commenting on a presidential campaign |
воздерживаться от комментариев по поводу избирательной кампании по выборам на пост президента (New York Times) |
13.07.2016 |
20:30:38 |
polit. |
get involved in a political campaign |
участвовать в политической кампании (New York Times) |
13.07.2016 |
20:29:59 |
law |
United States Supreme Court judge |
судья Верховного Суда США (New York Times) |
13.07.2016 |
20:29:14 |
rhetor. |
he says whatever comes into his head |
он говорит всё, что ему взбредёт в голову (at the moment; New York Times) |
13.07.2016 |
20:26:42 |
dipl. |
in the sharpest terms |
в самых резких выражениях (New York Times) |
13.07.2016 |
20:14:12 |
scient. |
insightful description |
информативное описание |
13.07.2016 |
20:13:25 |
progr. |
safety-critical and high-integrity software |
программное обеспечение с высоким уровнем полноты безопасности и особыми требованиями по функциональной безопасности (корпорации AdaCore) |
13.07.2016 |
18:53:40 |
progr. |
code determinism |
детерминизм кода (корпорации AdaCore) |
13.07.2016 |
18:49:33 |
progr. |
parallel, embedded, real-time and distributed computing |
параллельные, распределённые вычисления в реальном времени для встроенных систем (корпорации AdaCore) |
13.07.2016 |
18:43:40 |
softw. |
parallel embedded real-time application |
параллельное приложение реального времени для встроенных систем (корпорации AdaCore) |
13.07.2016 |
18:42:33 |
progr. |
high-integrity object-oriented programming |
объектно-ориентированное программирование приложений с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore) |
13.07.2016 |
18:41:33 |
softw. |
railway application |
приложение управления железнодорожным движением (корпорации AdaCore) |
13.07.2016 |
18:40:47 |
softw. |
source code security analysis tool |
инструментальное средство анализа безопасности исходного кода (с точки зрения соблюдения требований по безопасности информации; корпорации AdaCore) |
13.07.2016 |
18:38:34 |
softw. |
verification tool |
инструментальное средство верификации программного обеспечения (adacore.com) |
13.07.2016 |
18:37:39 |
progr. |
high-integrity run-time |
среда выполнения с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; корпорации AdaCore) |
13.07.2016 |
18:36:54 |
progr. |
run-time certification |
сертификация среды выполнения (корпорации AdaCore) |
13.07.2016 |
18:36:12 |
progr. |
version of the compiler |
версия компилятора (корпорации AdaCore) |
13.07.2016 |
18:35:36 |
progr. |
certification activities |
деятельность по сертификации программного обеспечения (корпорации AdaCore) |
13.07.2016 |
18:35:02 |
progr. |
testing results |
результаты тестирования (корпорации AdaCore) |
13.07.2016 |
18:33:46 |
formal |
official reference manual |
официальное справочное руководство (корпорации AdaCore) |
13.07.2016 |
18:27:40 |
progr. |
modelling standard |
стандарт моделирования (корпорации AdaCore) |
13.07.2016 |
18:17:51 |
progr. |
structural code coverage |
структурное покрытие кода (adacore.com) |
13.07.2016 |
18:13:47 |
progr. |
be developed for the code |
разрабатываться для кода (корпорации AdaCore) |
13.07.2016 |
18:08:24 |
progr. |
test-level component |
компонент для выполнения тестирования (корпорации AdaCore) |
13.07.2016 |
18:04:25 |
scient. |
at the model level |
на уровне модели (корпорации AdaCore) |
13.07.2016 |
18:03:55 |
progr. |
development and test activities |
деятельность по разработке и тестированию программного обеспечения (корпорации AdaCore) |
13.07.2016 |
18:01:00 |
progr. |
features of procedural programming |
средства процедурного программирования (корпорации AdaCore) |
13.07.2016 |
18:00:15 |
softw. |
in certified context |
в процессе сертификации ПО (на соответствие требованиям по безопасности информации; корпорации AdaCore; контекстуальный перевод на русс. язык) |
13.07.2016 |
17:56:13 |
progr. |
at initialization time |
во время инициализации (корпорации AdaCore) |
13.07.2016 |
17:55:23 |
IT |
on the stack |
в автоматической памяти (корпорации AdaCore) |
13.07.2016 |
17:55:23 |
progr. |
on the stack |
в стеке (корпорации AdaCore) |
13.07.2016 |
17:54:55 |
progr. |
allocated on the stack |
размещённый в стеке (корпорации AdaCore) |
13.07.2016 |
17:54:55 |
IT |
allocated on the stack |
размещённый в автоматической памяти (корпорации AdaCore) |
13.07.2016 |
17:54:10 |
progr. |
be initialized |
быть инициализированным (корпорации AdaCore) |
13.07.2016 |
17:54:10 |
progr. |
be initialized |
инициализироваться |
13.07.2016 |
17:50:58 |
progr. |
virtual pointer |
неявный указатель на таблицу виртуальных методов |
13.07.2016 |
17:50:58 |
progr. |
virtual pointer |
неявный указатель на таблицу виртуальных функций |
13.07.2016 |
17:47:56 |
progr. |
instantiate objects on the stack |
инстанцировать объекты в стеке (корпорации AdaCore) |
13.07.2016 |
17:47:56 |
IT |
instantiate objects on the stack |
инстанцировать объекты в автоматической памяти (корпорации AdaCore) |
13.07.2016 |
17:39:13 |
progr. |
safety of dispatching operations |
безопасность диспетчеризации методов (англ. термин используется в литературе по программированию на языке Ada; из кн.: Макконнелл С. Совершенный код. Практическое руководство по разработке программного обеспечения) |
13.07.2016 |
17:37:56 |
progr. |
verification of class hierarchy consistency |
верификация согласованности иерархии классов (корпорации AdaCore) |
13.07.2016 |
17:37:04 |
progr. |
class hierarchy consistency |
согласованность иерархии классов (корпорации AdaCore) |
13.07.2016 |
17:22:19 |
progr. |
class-wide contracts |
контракты на надклассовый тип (надклассовый тип является одним из типов данных в языке параллельного программирования Ada 2012; корпорации AdaCore) |
13.07.2016 |
17:14:50 |
avia. |
means of compliance |
метод оценки соответствия (корпорации AdaCore) |
13.07.2016 |
17:10:04 |
softw. |
MC/DC |
модифицированный метод покрытия условий и альтернатив (сокр. от "modified condition/decision coverage") |
13.07.2016 |
17:07:52 |
softw. |
condition coverage and decision coverage |
покрытие условий и альтернатив |
13.07.2016 |
17:01:50 |
softw. |
condition/decision coverage |
покрытие условий и альтернатив |
13.07.2016 |
17:00:27 |
progr. |
condition coverage |
покрытие по условиям |
13.07.2016 |
16:59:47 |
progr. |
multiple condition coverage |
покрытие по всем условиям |
13.07.2016 |
16:50:34 |
tax. |
have turned over tax returns |
предоставить налоговые декларации (CNN) |
13.07.2016 |
16:48:57 |
rhetor. |
stem from the fact that |
исходить из того, что (CNN) |
13.07.2016 |
16:45:42 |
fig.of.sp. |
her mind is shot |
у неё нет мозгов (англ. словосочетание заимствовано из новостного сообщения CNN) |
13.07.2016 |
16:45:26 |
fig.of.sp. |
her mind is shot |
она выжила из ума (англ. словосочетание заимствовано из новостного сообщения CNN) |
13.07.2016 |
16:37:46 |
softw. |
statement coverage and decision coverage |
покрытие операторов и альтернатив (корпорации AdaCore) |
13.07.2016 |
16:37:09 |
IT |
instrumented platform |
платформа, оснащённая инструментальными средствами |
13.07.2016 |
16:28:03 |
progr. |
on a host platform |
на исходной платформе (корпорации AdaCore) |
13.07.2016 |
16:27:48 |
progr. |
on a host platform |
на инструментальной платформе (корпорации AdaCore) |
13.07.2016 |
16:27:17 |
progr. |
host platform |
исходная платформа (корпорации AdaCore) |
13.07.2016 |
16:26:13 |
IT |
a given target |
заданная целевая платформа (корпорации AdaCore) |
13.07.2016 |
16:22:51 |
softw. |
structure-based testing |
тестирование "стеклянного ящика" |
13.07.2016 |
16:22:51 |
softw. |
structure-based testing |
тестирование методом "белого ящика" |
13.07.2016 |
16:21:28 |
softw. |
from a static verification point of view |
с точки зрения статической верификации (each type is associated with a representation and a semantic interpretation. Two types with similar representations but different semantics will still be considered different by the compiler. The developer is responsible for deciding where and how type conversion should be made; корпорации AdaCore) |
13.07.2016 |
16:20:18 |
softw. |
from a dynamic verification point of view |
с точки зрения динамической верификации (types can be associated with constraints, such as value ranges or arbitrary boolean predicates. These types, ranges and predicates will be verified at specific points in the application, allowing early detection of inconsistencies; корпорации AdaCore) |
13.07.2016 |
16:12:47 |
progr. |
strongly typed language |
строго типизированный язык программирования (корпорации AdaCore) |
13.07.2016 |
16:08:47 |
IT |
final target |
целевая платформа (корпорации AdaCore) |
13.07.2016 |
16:08:17 |
law |
qualifiable with regard to |
аттестуемый в части (корпорации AdaCore) |
13.07.2016 |
16:07:38 |
softw. |
final application |
окончательная версия приложения (корпорации AdaCore) |
13.07.2016 |
16:04:18 |
softw. |
simulation of the control loop of a program |
моделирование контура управления программы (корпорации AdaCore) |
13.07.2016 |
16:02:31 |
softw. |
proof verification system |
система формальной верификации программного обеспечения (корпорации AdaCore) |
13.07.2016 |
15:52:17 |
progr. |
traditional testing methodology |
общепринятая методология тестирования (корпорации AdaCore) |
13.07.2016 |
15:50:45 |
progr. |
perform modular formal verification |
выполнять формальную верификацию программных модулей (To prove the post condition of a subprogram according to its own precondition and the precondition and postconditions of its callees (ie, those subprograms that it calls) whether or not these callees are themselves proven. For a complete, 100%, proof, all the subprograms of an application need to be formally proven; корпорации AdaCore; контекстуальный перевод на русс. язык) |
13.07.2016 |
15:47:22 |
progr. |
modular formal verification |
формальная верификация программных модулей (корпорации AdaCore; контекстуальный перевод на русс. язык) |
13.07.2016 |
15:40:36 |
progr. |
unit testing framework |
каркас блочного тестирования (корпорации AdaCore) |
13.07.2016 |
15:40:21 |
progr. |
generate a unit testing framework |
сгенерировать каркас блочного тестирования (корпорации AdaCore) |
13.07.2016 |
15:36:22 |
progr. |
maximum number of parameters per subprogram |
максимальное количество параметров метода (корпорации AdaCore; из кн.: Макконнелл С. Совершенный код. Практическое руководство по разработке программного обеспечения) |
13.07.2016 |
15:34:04 |
progr. |
restriction of parameter number |
ограничение количества параметров (корпорации AdaCore) |
13.07.2016 |
15:33:54 |
progr. |
restriction of parameter number |
ограничение на количество параметров (корпорации AdaCore) |