Terms for subject Software containing model

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)
model-based systems engineering	моделеориентированный подход (translator911)
model checking	тестирование и формальная верификация (testing and verification is also known as model checking Alex_Odeychuk)
model checking	метод проверки моделей (позволяет осуществить автоматизированный перебор всех возможных вариантов выполнения программы, но применим только в случае, когда программа принимает конечное число состояний Alex_Odeychuk)
model checking	проверка модели (Alex_Odeychuk)
model static analysis	статический анализ модели (корпорации AdaCore 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)
support for model static analysis	поддержка статического анализа модели (корпорации AdaCore Alex_Odeychuk)
unified service action model	единая модель служебных действий (Alex_Odeychuk)