| English | Russian |
| cross-platform development model | модель межплатформенной разработки ПО (InfoWorld Alex_Odeychuk) |
| cross-platform development model | модель межплатформенной разработки программного обеспечения (InfoWorld Alex_Odeychuk) |
| customizable model | пользовательская модель (Alex_Odeychuk) |
| information technology to develop forecasting models with risk assessment | информационная технология разработки моделей прогнозирования с оценкой риска (Alex_Odeychuk) |
| large language model-powered application | приложение, интегрированное с большой языковой моделью (wandb.ai Alex_Odeychuk) |
| large language model-powered application | приложение на основе большой языковой модели (wandb.ai Alex_Odeychuk) |
| model checking | метод проверки моделей (позволяет осуществить автоматизированный перебор всех возможных вариантов выполнения программы, но применим только в случае, когда программа принимает конечное число состояний Alex_Odeychuk) |
| model checking | методы формальной верификации (Alex_Odeychuk) |
| model checking | модельная проверка (Formal specification languages are designed to describe system behavior at an abstract level—capturing states and transitions—while enabling the automatic analysis of all possible execution paths. Unlike traditional testing, which always carries the risk of untested scenarios, model checking examines the complete finite-state graph of the model. In this context, deadlock (a situation in which no process can proceed) and livelock (an infinite cycle of transitions without meaningful progress relative to the specified counters or properties) are defined as specific target properties to be verified. — Формальные языки спецификаций призваны описывать поведение системы на абстрактном уровне, фиксируя состояние и переходы, и при этом дают возможность автоматического анализа всех возможных траекторий выполнения. В отличие от традиционных тестов, при которых всегда остаётся риск непротестированных сценариев, модельная проверка исследует полный конечный граф состояний модели. При этом взаимоблокировка (ситуация, при которой ни один процесс не может продолжить работу) и динамическая взаимоблокировка (ситуация бесконечного цикла переходов без полезного прогресса по отношению к выделенным счетчикам или свойствам) определяются как специальные целевые свойства, подлежащие проверке. Alex_Odeychuk) |
| model checking | формальные методы (Alex_Odeychuk) |
| model checking | тестирование и формальная верификация (testing and verification is also known as model checking Alex_Odeychuk) |
| model checking | проверка модели (Alex_Odeychuk) |
| model for requirements-gathering | модель сбора требований (brooker.co.za Alex_Odeychuk) |
| platform for designing safety-critical systems from models | платформа проектирования систем с повышенными требованиями к безопасности на основе моделей (Alex_Odeychuk) |
| reference information model | справочная информационная модель (Элементы информационной модели – классы, переходы состояний классов, типы данных и наложенные ограничения Alex_Odeychuk) |
| reference model for open distributed processing | эталонная модель для открытой распределенной разработки (англ. термин взят из стандарта ISO 1996 Alex_Odeychuk) |
| software engineering models and methods | модели и методы программной инженерии (Alex_Odeychuk) |
| software engineering models and methods | модели и методы разработки ПО (Alex_Odeychuk) |
| software reliability model | модель надёжности программного обеспечения (Alex_Odeychuk) |
| static model checker | статический анализатор моделей (Alex_Odeychuk) |
| support for model static analysis | поддержка статического анализа модели (корпорации AdaCore Alex_Odeychuk) |
| unified service action model | единая модель служебных действий (Alex_Odeychuk) |