13.07.2016 |
15:33:19 |
progr. |
minimum number of parameter necessary |
минимальное количество необходимых параметров (корпорации AdaCore) |
13.07.2016 |
15:30:45 |
progr. |
formal notation |
формальная нотация (корпорации AdaCore) |
13.07.2016 |
15:29:01 |
progr. |
project file description |
описание проектного файла (корпорации AdaCore) |
13.07.2016 |
15:05:29 |
progr. |
package's interface |
интерфейс пакета (корпорации AdaCore) |
13.07.2016 |
15:05:14 |
progr. |
package's interface |
интерфейсная часть пакета (корпорации AdaCore) |
13.07.2016 |
15:03:30 |
progr. |
public children |
публичные дочерние пакеты (корпорации AdaCore; контекстуальный перевод на русс. язык) |
13.07.2016 |
15:02:46 |
progr. |
create a hierarchy of services |
создавать иерархию служб |
13.07.2016 |
15:02:26 |
progr. |
hierarchy of services |
иерархия служб |
13.07.2016 |
15:02:05 |
progr. |
public sub-module |
публичный подмодуль |
13.07.2016 |
14:58:33 |
progr. |
level of modules |
уровень вложенности модулей (контекстуальный перевод на русс. язык) |
13.07.2016 |
14:56:52 |
progr. |
strong internal coupling |
высокий уровень связности каждого программного модуля (корпорации AdaCore; контекстуальный перевод на русс. язык) |
13.07.2016 |
14:55:12 |
progr. |
coupling |
уровень связности |
13.07.2016 |
14:54:57 |
progr. |
strong coupling |
высокий уровень связности |
13.07.2016 |
14:49:57 |
progr. |
at the software level |
на уровне программного обеспечения (корпорации AdaCore) |
13.07.2016 |
14:49:13 |
proj.manag. |
notion of a project |
понятие проекта (the ~) |
13.07.2016 |
14:46:51 |
progr. |
public child package |
публичный дочерний пакет (корпорации AdaCore) |
13.07.2016 |
14:44:58 |
progr. |
private child package |
приватный дочерний пакет (корпорации AdaCore) |
13.07.2016 |
14:44:13 |
progr. |
group of packages |
группа пакетов (корпорации AdaCore) |
13.07.2016 |
14:43:22 |
progr. |
coherence |
уровень связности (IEC 61508-7: 2010; e.g., connections between software modules should be limited and strictly defined, coherence in one software module shall be strong – связи между программными модулями должны быть ограничены и строго определены, уровень связности каждого программного модуля должен быть высоким) |
13.07.2016 |
14:42:22 |
progr. |
coherence in one software module |
уровень связности каждого программного модуля (coherence in one software module shall be strong – уровень связности каждого программного модуля должен быть высоким // IEC 61508-7:2010) |
13.07.2016 |
14:41:23 |
progr. |
connections between software modules |
связи между программными модулями (connections between software modules should be limited and strictly defined – связи между программными модулями должны быть ограничены и строго определены // IEC 61508-7: 2010) |
13.07.2016 |
14:41:04 |
progr. |
connections between modules |
связи между программными модулями |
13.07.2016 |
14:39:47 |
progr. |
connections between modules |
связи между модулями (connections between software modules should be limited and strictly defined – связи между программными модулями должны быть ограничены и строго определены // IEC 61508-7: 2010) |
13.07.2016 |
14:39:09 |
progr. |
interaction between modules |
взаимодействие между модулями |
13.07.2016 |
14:36:47 |
progr. |
blocker issue |
проблема блокирующего характера (корпорации AdaCore) |
13.07.2016 |
14:32:40 |
progr. |
custom metrics |
специальные метрики кода (корпорации AdaCore) |
13.07.2016 |
14:31:24 |
progr. |
be not present in the code |
отсутствовать в коде (корпорации AdaCore) |
13.07.2016 |
14:30:52 |
progr. |
be present in the code |
присутствовать в коде (корпорации AdaCore) |
13.07.2016 |
14:28:13 |
progr. |
formally analyzable |
поддающийся формальному анализу (корпорации AdaCore) |
13.07.2016 |
14:27:39 |
progr. |
Ada language subset |
сокращённая версия языка программирования Ada (корпорации AdaCore) |
13.07.2016 |
14:24:46 |
progr. |
type, mode, and determinism inference |
вывод типов, режима передачи параметров и детерминизма |
13.07.2016 |
14:23:21 |
psychol. |
determinism |
предопределённость |
13.07.2016 |
14:23:04 |
progr. |
implications in terms of portability, determinism and safety |
последствия в плане переносимости, детерминизма и безопасности кода (корпорации AdaCore) |
13.07.2016 |
14:20:03 |
progr. |
subset of the language |
сокращённая версия языка программирования (корпорации AdaCore) |
13.07.2016 |
14:19:14 |
progr. |
zero-footprint |
не требующий среды выполнения (корпорации AdaCore) |
13.07.2016 |
14:18:18 |
softw. |
zero-footprint |
не требующий установки ПО (корпорации AdaCore) |
13.07.2016 |
14:17:18 |
progr. |
language subset |
сокращённая версия языка программирования (корпорации AdaCore) |
13.07.2016 |
14:16:12 |
progr. |
generate a testing framework |
выполнить генерацию каркаса тестирования (корпорации AdaCore) |
13.07.2016 |
14:15:46 |
progr. |
testing framework |
каркас тестирования (корпорации AdaCore) |
13.07.2016 |
14:14:48 |
progr. |
interface designer |
проектировщик интерфейса (корпорации AdaCore) |
13.07.2016 |
14:14:48 |
progr. |
interface designer |
разработчик интерфейса |
13.07.2016 |
14:13:48 |
progr. |
additional dynamic checking |
дополнительная динамическая проверка (корпорации AdaCore) |
13.07.2016 |
14:13:17 |
progr. |
development of tests |
разработка тестов (корпорации AdaCore) |
13.07.2016 |
14:12:26 |
progr. |
input partition |
выделение подобластей определения входных данных (корпорации AdaCore; контекстуальный перевод на русс. язык) |
13.07.2016 |
14:12:02 |
progr. |
input partition |
подобласти определения входных данных (корпорации AdaCore) |
13.07.2016 |
14:11:25 |
progr. |
input partitioning |
выделение подобластей определения входных данных (корпорации AdaCore) |
13.07.2016 |
14:10:53 |
progr. |
pre and post conditions |
предусловия и постусловия (средства контрактного программирования; корпорации AdaCore) |
13.07.2016 |
14:09:39 |
progr. |
parameter passing mode |
режим передачи параметров |
13.07.2016 |
14:09:19 |
progr. |
parameter passing mode |
режим передачи параметра (корпорации AdaCore) |
13.07.2016 |
14:08:34 |
AI. |
use of constraints |
использование ограничений (корпорации AdaCore) |
13.07.2016 |
13:24:53 |
progr. |
use of getters and setters |
использование методов чтения и записи (значений в поля типа, класса; корпорации AdaCore) |
13.07.2016 |
13:23:06 |
progr. |
use of accessors or modifiers |
использование методов чтения и записи (значений в поля типа, класса; корпорации AdaCore) |
13.07.2016 |
13:21:37 |
progr. |
mapping in memory |
отображение в память (способ работы с данными в некоторых языках программирования, при котором всей структуре данных или некоторой её части ставится в соответствие определённый участок памяти (диапазон адресов оперативной памяти). При этом чтение данных из этих адресов фактически приводит к чтению данных из отображенной структуры данных, а запись данных по этим адресам приводит к записи этих данных в структуру данных (в переменную в языках императивного программирования, имя изменяемого значения в языках функционального программирования). Например, отображение данных в память в языке программирования Ada 2012 достигается с помощью объявления переменной: G : Integer with Address => 16#0000_56FF#) |
13.07.2016 |
13:16:53 |
progr. |
be implemented through classes |
быть реализованным с помощью классов (корпорации AdaCore) |
13.07.2016 |
13:14:10 |
progr. |
at the package level |
на уровне пакета (в языке императивного объектно-ориентированного параллельного программирования Ada 2012) |
13.07.2016 |
13:13:34 |
progr. |
component |
пакет |
13.07.2016 |
13:13:13 |
progr. |
implementer environment |
среда разработчика компилятора языка программирования (корпорации AdaCore; контекстуальный перевод на русс. язык) |
13.07.2016 |
13:07:35 |
progr. |
protection of data through encapsulation |
защита данных с помощью инкапсуляции (корпорации AdaCore) |
13.07.2016 |
13:06:30 |
progr. |
modifier |
задающий метод |
13.07.2016 |
13:06:30 |
progr. |
modifier method |
задающий метод |
13.07.2016 |
13:05:57 |
progr. |
modifier |
метод записи |
13.07.2016 |
13:05:57 |
progr. |
modifier |
метод записи значения |
13.07.2016 |
13:05:57 |
progr. |
modifier |
метод-модификатор |
13.07.2016 |
13:05:57 |
progr. |
modifier |
модифицирующий метод |
13.07.2016 |
13:05:57 |
progr. |
modifier method |
метод записи |
13.07.2016 |
13:05:57 |
progr. |
modifier method |
метод записи значения |
13.07.2016 |
13:05:57 |
progr. |
modifier method |
метод-модификатор |
13.07.2016 |
13:05:57 |
progr. |
modifier method |
модифицирующий метод |
13.07.2016 |
13:04:58 |
progr. |
accessor |
получающий метод |
13.07.2016 |
13:04:58 |
progr. |
accessor method |
получающий метод |
13.07.2016 |
13:04:07 |
progr. |
getter |
метод доступа |
13.07.2016 |
13:04:07 |
progr. |
getter |
метод чтения значения |
13.07.2016 |
13:04:07 |
progr. |
getter method |
метод доступа |
13.07.2016 |
13:04:07 |
progr. |
getter method |
метод чтения |
13.07.2016 |
13:04:07 |
progr. |
getter method |
метод чтения значения |
13.07.2016 |
12:59:44 |
progr. |
accessor method |
метод чтения (значения из поля типа) |
13.07.2016 |
12:59:04 |
progr. |
accessor |
метод чтения значения (в поле типа) |
13.07.2016 |
12:59:04 |
progr. |
accessor method |
метод чтения значения |
13.07.2016 |
12:58:11 |
progr. |
accessor |
метод доступа (к значению в поле типа) |
13.07.2016 |
12:57:52 |
progr. |
accessor |
метод чтения (значения в поле типа) |
13.07.2016 |
12:57:30 |
progr. |
accessors and modifiers |
методы чтения и записи (значений в поля типа; корпорации AdaCore) |
13.07.2016 |
12:56:14 |
progr. |
setter |
модифицирующий метод |
13.07.2016 |
12:56:14 |
progr. |
setter |
метод-модификатор |
13.07.2016 |
12:56:14 |
progr. |
setter method |
модифицирующий метод |
13.07.2016 |
12:56:14 |
progr. |
setter method |
метод-модификатор |
13.07.2016 |
12:53:02 |
progr. |
setter method |
метод записи (значения в поле класса) |
13.07.2016 |
12:52:50 |
progr. |
setter method |
метод записи значения (в поле класса) |
13.07.2016 |
12:51:55 |
progr. |
setter |
метод записи (значения в поле класса) |
13.07.2016 |
12:51:55 |
progr. |
setter |
метод записи значения |
13.07.2016 |
12:49:50 |
progr. |
mapping of data in memory |
отображение данных в память (корпорации AdaCore) |
13.07.2016 |
12:38:32 |
progr. |
exported variable |
экспортируемая переменная (корпорации AdaCore) |
13.07.2016 |
12:38:23 |
progr. |
exported variable |
экспортированная переменная (корпорации AdaCore) |
13.07.2016 |
12:37:16 |
progr. |
information encapsulation |
инкапсуляция информации (корпорации AdaCore) |
13.07.2016 |
12:35:29 |
progr. |
a change in the code |
изменение кода (корпорации AdaCore) |
13.07.2016 |
12:34:56 |
IT |
potential failure analysis |
анализ видов и последствий потенциальных отказов (корпорации AdaCore) |
13.07.2016 |
12:34:30 |
IT |
potential failure effects |
последствия потенциальных отказов |
13.07.2016 |
12:34:09 |
IT |
potential failure mode |
вид потенциальных отказов |
13.07.2016 |
12:33:47 |
IT |
potential failure mode and effects analysis |
анализ видов и последствий потенциальных отказов (ГОСТ Р 51814.2) |
13.07.2016 |
12:27:25 |
progr. |
from the point of view of potential run-time errors |
с точки зрения выявления потенциальных ошибок во время выполнения (корпорации AdaCore) |
13.07.2016 |
12:26:32 |
dipl. |
from the point of view |
с позиции |