English | Russian |
analysis for a large domain | анализ большого домена (ssn) |
analysis of the D latch for a few transitions | анализ поведения D-защёлки при нескольких переходах (ssn) |
automated tool for structured systems analysis | автоматизированное средство для структурного анализа (Alex_Odeychuk) |
computer methods for circuit analysis and design | машинные методы анализа и проектирования электронных схем (ssn) |
computer methods for the formulation, analysis, and design of electrical networks | машинные методы анализа и проектирования электрических цепей (ssn) |
discrete-continuous model for temporal analysis of network-centric control systems | временной анализ систем с сетецентрическим управлением на основе непрерывно-дискретной модели (ssn) |
for performance analysis | в целях анализа производительности (Alex_Odeychuk) |
graphical method for the temporal analysis of dynamics in discrete-continuous models | графический метод временного анализа динамики непрерывно-дискретной модели (ssn) |
graphical notations for analysis | графические системы обозначений для анализа (ssn) |
Other approaches to schedulability analysis include algorithms for computing the set of reachable states of a finite-state system | другие подходы к анализу составления расписаний включают алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
principles for parallelism analysis | принципы анализа параллельных алгоритмов (ssn) |
profiling and analysis tools for multithreaded applications | средства профилирования и анализа многопоточных приложений (ssn) |
Requirements — Requirements analysis for an application, such as writing use cases and identifying non-functional requirements | Требования. это анализ требований для данного приложения, в том числе описание прецедентов и определение нефункциональных требований (см. Applying UML and Patterns by Craig Larman 2002) |
Requirements Requirements analysis for an application, such as writing use cases and identifying non-functional requirements | Требования. это анализ требований для данного приложения, в том числе описание прецедентов и определение нефункциональных требований (см. Applying UML and Patterns by Craig Larman 2002) |
rules for static code analysis | правила статического анализа кода (Alex_Odeychuk) |
setting up for the analysis | установка для анализа (ssn) |
static analysis for upfront detection of potential errors | статический анализ с целью заблаговременного выявления потенциальный ошибок (корпорации AdaCore Alex_Odeychuk) |
the results of the analysis should provide input to a plan for improving the service | Результаты такого анализа следует использовать в качестве исходной информации при формировании плана совершенствования услуг (см. ISO/IEC 20000-2:2005) |
this kind of analysis can also be used to determine execution times for more complex sequences of events | этот вид анализа также может использоваться для определения времени выполнения более сложных последовательностей событий (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |