Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Arabic
Chinese
English
French
German
Italian
Spanish
Terms
for subject
Programming
containing
анализ целей
|
all forms
Russian
English
в целях анализа производительности
for performance analysis
(
Alex_Odeychuk
)
для испытания результата этого изменения модель может быть снова подвергнута анализу с целью проверить планируемость
To
test the effect of this change, the model can be analyzed again in order to check schedulability
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
ssn
)
методы, используемые для анализа пространственного состояния системы с целью проверки достоверности её определённых характеристик
techniques used to explore the state-space of a system to test whether or not certain properties
(
ssn
)
снова подвергать анализу с целью проверить планируемость
analyze again in order to check schedulability
(
ssn
)
статический анализ с целью заблаговременного выявления потенциальный ошибок
static analysis for upfront detection of potential errors
(корпорации AdaCore
Alex_Odeychuk
)
цель анализа
goal of the analysis
(
ssn
)
Get short URL