11.07.2016 |
10:13:17 |
hist. |
sentence to seven years' transportation to America |
приговор о ссылке на семь лет в американские колонии (Transportation or penal transportation was the sending of convicted criminals or other persons regarded as undesirable to a penal colony) |
11.07.2016 |
10:12:11 |
hist. |
Transportation Act |
Закон "О ссылке в колонию для уголовных преступников" (Transportation or penal transportation was the sending of convicted criminals or other persons regarded as undesirable to a penal colony) |
11.07.2016 |
10:09:13 |
hist. |
transported criminal |
уголовный преступник, сосланный в колонию (Transportation or penal transportation is the sending of convicted criminals or other persons regarded as undesirable to a penal colony) |
11.07.2016 |
10:02:21 |
crim.law. |
sentence of transportation |
приговор о назначении наказания в виде ссылки в колонию для уголовных преступников |
11.07.2016 |
10:01:23 |
crim.law. |
penal servitude for less than fourteen years |
каторжные работы на срок до четырнадцати лет |
11.07.2016 |
10:00:50 |
crim.law. |
Penal Servitude Act |
Закон "О каторжных работах" |
11.07.2016 |
10:00:20 |
crim.law. |
crime continued at high levels |
сохранялся высокий уровень преступности |
11.07.2016 |
9:59:04 |
dipl. |
person regarded as undesirable |
нежелательное лицо |
11.07.2016 |
9:58:24 |
hist. |
penal transportation |
ссылка в колонию для уголовных преступников (Transportation or penal transportation is the sending of convicted criminals or other persons regarded as undesirable to a penal colony) |
11.07.2016 |
9:56:42 |
hist. |
transportation for life |
пожизненная ссылка в колонию уголовных преступников |
11.07.2016 |
9:54:09 |
hist. |
transportation for life |
пожизненная ссылка в колонию для уголовных преступников (Transportation or penal transportation is the sending of convicted criminals or other persons regarded as undesirable to a penal colony) |
11.07.2016 |
9:51:19 |
crim.law. |
be sentenced to hard labor |
быть приговорённым к каторжным работам |
11.07.2016 |
9:45:46 |
law |
set procedures |
установленный порядок |
11.07.2016 |
9:45:46 |
law |
set procedures |
установленные процедуры |
11.07.2016 |
9:45:18 |
law |
the procedures laid down by the law for |
порядок, установленный законом для (who must say and do what, and in what order – which must be followed in order for the event to be legally valid) |
11.07.2016 |
9:27:42 |
fig.of.sp. |
citadel of law |
цитадель законности (прокуратура, суд) |
10.07.2016 |
10:44:24 |
progr. |
stack allocation |
выделение памяти в автоматической памяти (Microsoft) |
10.07.2016 |
10:40:15 |
progr. |
be compilable to a struct |
быть компилируемым в структуру (Microsoft) |
10.07.2016 |
10:39:29 |
progr. |
do heap allocation |
выполнять создание объекта в динамической памяти (Microsoft) |
10.07.2016 |
10:38:54 |
progr. |
heap allocation |
выделение памяти в динамической памяти (Microsoft) |
10.07.2016 |
10:38:17 |
progr. |
stack memory allocation |
выделение памяти в автоматической памяти (Microsoft) |
10.07.2016 |
10:38:09 |
progr. |
stack memory allocation |
создание объектов в автоматической памяти (Microsoft) |
10.07.2016 |
10:37:59 |
progr. |
stack memory allocation |
создание объекта в автоматической памяти (Microsoft) |
10.07.2016 |
10:37:02 |
progr. |
stack allocation |
создание объекта в автоматической памяти (Microsoft) |
10.07.2016 |
10:36:44 |
progr. |
stack allocation |
создание объектов в автоматической памяти (Microsoft) |
10.07.2016 |
10:36:14 |
progr. |
heap allocation |
создание объекта в динамической памяти (Microsoft) |
10.07.2016 |
10:35:56 |
progr. |
heap allocation |
создание объектов в динамической памяти (Microsoft) |
10.07.2016 |
10:35:34 |
progr. |
heap allocation |
динамическое выделение памяти (Microsoft) |
10.07.2016 |
10:33:59 |
progr. |
blittable type |
побитно копируемый тип (Blittable types do not require conversion when they are passed between managed and unmanaged code. microsoft.com) |
8.07.2016 |
21:36:07 |
softw. |
follow-up |
контроль результатов доработки (начальник инспекционной группы проверяет, что все найденные ошибки были исправлены и что в исходный код приложения и документацию не было внесено новых ошибок. Если по результатам инспекции было переработано более 5% исходного кода или документации, следует вновь провести инспекцию. Начальник инспекционной группы готовит отчёт об обнаруженных ошибках для последующего использования в других инспекциях и при оценке качества результатов разработки программного обеспечения) |
8.07.2016 |
21:31:28 |
gen. |
rework |
работа над ошибками (исправление выявленных ошибок) |
8.07.2016 |
21:29:57 |
comp.sl. jarg. |
rework |
допиливание |
8.07.2016 |
21:27:03 |
progr. |
user stories |
пожелания пользователей (по разработке или доработке программного обеспечения) |
8.07.2016 |
21:26:47 |
progr. |
user stories |
составленные заказчиками и пользователями требования |
8.07.2016 |
21:21:58 |
progr. |
use in high integrity systems |
использование в системах с высоким уровнем полноты безопасности (т.е. в системах, для которых подтверждено корректное написание исходного кода, правильное взаимодействие компонентов программного обеспечения, корректность функционирования программного обеспечения в целом, отсутствие скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении; корпорации AdaCore) |
8.07.2016 |
21:20:17 |
progr. |
test framework |
интегрированная среда тестирования (корпорации AdaCore; контекстуальный перевод на русс. язык) |
8.07.2016 |
21:18:56 |
progr. |
impact analysis |
анализ последствий изменения кода (корпорации AdaCore; контекстуальный перевод на русс. язык) |
8.07.2016 |
19:28:49 |
progr. |
support for walkthrough activities |
поддержка деятельности по критическому разбору кода (деятельность по критическому разбору кода – чтение исходного кода программы и анализ выполняемых программой действий; корпорации AdaCore) |
8.07.2016 |
19:27:26 |
progr. |
walkthrough |
критический разбор кода (чтение исходного кода программы и анализ выполняемых программой действий; корпорации AdaCore) |
8.07.2016 |
19:25:23 |
progr. |
walkthrough activities |
деятельность по критическому разбору кода (чтение исходного кода программы и анализ выполняемых программой действий; корпорации AdaCore) |
8.07.2016 |
19:23:49 |
progr. |
formal proof of correctness |
формальное доказательство корректности (корпорации AdaCore) |
8.07.2016 |
19:23:34 |
progr. |
formal design review |
формальный обзор проекта (корпорации AdaCore) |
8.07.2016 |
19:22:53 |
progr. |
Fagan inspection |
инспекция по Фагану (корпорации AdaCore; методология формального анализа, применяемая после завершения программирования модуля) |
8.07.2016 |
19:21:25 |
progr. |
type-wide contracts |
контракты на типы данных (predicates or invariants; корпорации AdaCore) |
8.07.2016 |
19:20:19 |
dat.proc. |
data preparation techniques |
методы первичной обработки данных (корпорации AdaCore) |
8.07.2016 |
19:20:14 |
dat.proc. |
data preparation techniques |
методы подготовки данных (корпорации AdaCore) |
8.07.2016 |
19:18:32 |
dat.proc. |
put in configuration management systems |
заводить в системы управления конфигурированием программного обеспечения (говоря о заведении данных в системы) |
8.07.2016 |
19:17:29 |
dat.proc. |
be written to files |
быть записанным в файлы (корпорации AdaCore) |
8.07.2016 |
19:16:20 |
progr. |
analysis throughout the code |
анализ всего кода (корпорации AdaCore) |
8.07.2016 |
19:16:00 |
progr. |
detection of potential software errors |
выявление потенциальных ошибок в программном обеспечении (корпорации AdaCore) |
8.07.2016 |
19:15:33 |
progr. |
identify likely error locations in the code |
определять местонахождение возможных ошибок в коде (корпорации AdaCore) |
8.07.2016 |
19:15:09 |
progr. |
error locations in the code |
местонахождение ошибок в коде (корпорации AdaCore) |
8.07.2016 |
19:13:00 |
softw. |
dynamic software analysis |
динамический анализ программного обеспечения (корпорации AdaCore) |
8.07.2016 |
19:12:40 |
softw. |
static software analysis |
статический анализ программного обеспечения (корпорации AdaCore) |
8.07.2016 |
19:12:15 |
softw. |
software analysis techniques |
методы анализа программного обеспечения |
8.07.2016 |
19:11:45 |
softw. |
generate a testing framework for unit testing |
выполнить генерацию каркаса тестирования для выполнения блочных тестов (корпорации AdaCore) |
8.07.2016 |
19:10:59 |
softw. |
overall software testing |
комплексное тестирование программного обеспечения (корпорации AdaCore) |
8.07.2016 |
19:10:19 |
softw. |
generate a framework for testing |
выполнить генерацию каркаса тестирования (корпорации AdaCore) |
8.07.2016 |
19:10:01 |
softw. |
test framework |
каркас тестирования (корпорации AdaCore) |
8.07.2016 |
19:09:45 |
softw. |
unit test framework |
каркас блочного тестирования (корпорации AdaCore) |
8.07.2016 |
19:09:34 |
softw. |
unit test framework |
интегрированная среда блочного тестирования (корпорации AdaCore) |
8.07.2016 |
19:07:51 |
softw. |
blackbox testing |
поведенческое тестирование (тестирование функционального поведения объекта информатизации (программы, системы) с точки зрения внешнего мира, при котором не используется знание о внутреннем устройстве тестируемого объекта; корпорации AdaCore) |
8.07.2016 |
19:07:41 |
softw. |
blackbox testing |
тестирование по стратегии чёрного ящика (тестирование функционального поведения объекта информатизации (программы, системы) с точки зрения внешнего мира, при котором не используется знание о внутреннем устройстве тестируемого объекта) |
8.07.2016 |
19:06:16 |
softw. |
at the software level |
на уровне ПО (корпорации AdaCore) |
8.07.2016 |
19:05:44 |
progr. |
function contracts |
контракты функций (корпорации AdaCore) |
8.07.2016 |
19:05:29 |
progr. |
interface testing |
тестирование интерфейсов (корпорации AdaCore) |
8.07.2016 |
19:05:00 |
progr. |
test coverage for code |
покрытие кода тестами (корпорации AdaCore) |
8.07.2016 |
19:04:24 |
progr. |
loop nesting |
вложенность циклов (корпорации AdaCore) |
8.07.2016 |
19:04:12 |
progr. |
loop nesting |
уровень вложенности циклов (корпорации AdaCore) |
8.07.2016 |
19:03:54 |
progr. |
unit nesting |
вложенность блоков кода (корпорации AdaCore) |
8.07.2016 |
19:03:49 |
progr. |
unit nesting |
уровень вложенности блоков кода (корпорации AdaCore) |
8.07.2016 |
19:02:48 |
progr. |
comment percentage |
удельный вес комментариев в исходном коде (корпорации AdaCore) |
8.07.2016 |
18:58:51 |
progr. |
high integrity system |
система с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов программного обеспечения, корректности функционирования программного обеспечения в целом, отсутствия скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении; корпорации AdaCore) |
8.07.2016 |
18:57:47 |
progr. |
explicit control flow |
явно определённый поток управления |
8.07.2016 |
18:57:29 |
progr. |
explicit control flow |
явно определённый поток управления (корпорации AdaCore) |
8.07.2016 |
18:56:10 |
progr. |
analyzable program |
программа, пригодная для анализа (корпорации AdaCore) |
8.07.2016 |
18:55:33 |
progr. |
coding rules |
правила оформления кода (корпорации AdaCore) |
8.07.2016 |
18:55:13 |
progr. |
base coding standard rules |
базовые правила стандарта оформления кода (корпорации AdaCore) |
8.07.2016 |
18:54:08 |
gen. |
in different ways |
различным образом |
8.07.2016 |
18:53:47 |
progr. |
design and coding standard |
стандарт проектирования и оформления кода (корпорации AdaCore) |
8.07.2016 |
18:52:50 |
progr. |
structured methodology |
методика структурного анализа систем и проектирования |
8.07.2016 |
18:52:19 |
progr. |
structured methodology designs |
варианты проектных решений, полученные по методике структурного анализа систем и проектирования |
8.07.2016 |
18:49:28 |
progr. |
directly in the code |
непосредственно в коде (корпорации AdaCore) |
8.07.2016 |
18:49:11 |
progr. |
architecture properties |
характеристики архитектуры программного обеспечения (корпорации AdaCore) |
8.07.2016 |
18:49:06 |
progr. |
architecture properties |
характеристики архитектуры ПО (корпорации AdaCore) |
8.07.2016 |
18:48:45 |
progr. |
define architecture properties |
определять характеристики архитектуры ПО (корпорации AdaCore) |
8.07.2016 |
18:48:39 |
progr. |
define architecture properties |
определять характеристики архитектуры программного обеспечения (корпорации AdaCore) |
8.07.2016 |
18:46:54 |
progr. |
separate the interface of a module from its implementation |
отделять интерфейс модуля от реализации (корпорации AdaCore) |
8.07.2016 |
18:46:04 |
softw. |
software error effect analysis |
анализ последствий ошибок в программном обеспечении (корпорации AdaCore) |
8.07.2016 |
18:45:49 |
softw. |
software error |
ошибка в программном обеспечении (корпорации AdaCore) |
8.07.2016 |
18:45:05 |
sec.sys. |
effect analysis |
анализ последствий (корпорации AdaCore) |
8.07.2016 |
18:44:09 |
progr. |
dynamic reconfiguration of software |
динамическая реконфигурация программного обеспечения (корпорации AdaCore) |
8.07.2016 |
18:43:36 |
progr. |
retry fault recovery mechanisms |
механизмы повторного восстановления после ошибок (корпорации AdaCore) |
8.07.2016 |
18:37:28 |
rhetor. |
it's worth mentioning that |
следует отметить, что |
8.07.2016 |
18:37:28 |
rhetor. |
it's worth mentioning that |
следует заметить, что |
8.07.2016 |
18:36:57 |
softw. |
architecture activity |
деятельность по проектированию архитектуры (корпорации AdaCore) |
8.07.2016 |
18:36:07 |
progr. |
software component design |
проектирование компонентов программного обеспечения (корпорации AdaCore) |
8.07.2016 |
18:35:03 |
progr. |
perform structural coverage analysis |
выполнять анализ структурного покрытия (корпорации AdaCore) |
8.07.2016 |
18:34:34 |
progr. |
processor-in-the-loop testing |
тестирование с процессором в контуре обратной связи (корпорации AdaCore) |
8.07.2016 |
18:34:29 |
progr. |
PIL testing |
тестирование с процессором в контуре обратной связи (сокр. от "processor-in-the-loop testing"; корпорации AdaCore) |