Terms for subject Software containing модель

Russian	English
единая модель служебных действий	unified service action model (Alex_Odeychuk)
единая модель служебных действий	USAM ("Unified Service Action Model" Alex_Odeychuk)
информационная технология разработки моделей прогнозирования с оценкой риска	information technology to develop forecasting models with risk assessment (Alex_Odeychuk)
каркасная модель	wireframe body (3D translator911)
метод проверки моделей	model checking (позволяет осуществить автоматизированный перебор всех возможных вариантов выполнения программы, но применим только в случае, когда программа принимает конечное число состояний Alex_Odeychuk)
модели и методы программной инженерии	software engineering models and methods (Alex_Odeychuk)
модели и методы разработки ПО	software engineering models and methods (Alex_Odeychuk)
модель межплатформенной разработки ПО	cross-platform development model (InfoWorld Alex_Odeychuk)
модель межплатформенной разработки программного обеспечения	cross-platform development model (InfoWorld Alex_Odeychuk)
модель надёжности программного обеспечения	software reliability model (Alex_Odeychuk)
модель прогнозирования экономических характеристик производства программных продуктов	COCOMO (из кн.: Липаев В.В. Экономика программной инженерии заказных программных продуктов Alex_Odeychuk)
модель развёртывания и использования ПО, при которой ПО устанавливается и управляется внутри организации	on-premises (классический подход к установке ПО в отличие от более прогрессивной модели SaaS)
модель роста надёжности программного обеспечения	SRGM (Software Reliability Growth Model Litania)
платформа проектирования систем с повышенными требованиями к безопасности на основе моделей	platform for designing safety-critical systems from models (Alex_Odeychuk)
поддержка статического анализа модели	support for model static analysis (корпорации AdaCore Alex_Odeychuk)
пользовательская модель	customizable model (Alex_Odeychuk)
проверка модели	model checking (Alex_Odeychuk)
проверка модели	testing and verification (Alex_Odeychuk)
программное средство построения формальных моделей программ и верификации их функциональных свойств	formal proof engine (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)
сеточная модель	mesh body (3D translator911)
система построения доказательства соответствия модели программы её формальной спецификации	formal proof engine (Alex_Odeychuk)
справочная информационная модель	RIM ("Reference Information Model" Alex_Odeychuk)
справочная информационная модель	reference information model (Элементы информационной модели – классы, переходы состояний классов, типы данных и наложенные ограничения Alex_Odeychuk)
статический анализ модели	model static analysis (корпорации AdaCore Alex_Odeychuk)
эталонная модель для открытой распределенной разработки	reference model for open distributed processing (англ. термин взят из стандарта ISO 1996 Alex_Odeychuk)
эталонная модель для открытой распределенной разработки	RM-ODP ("Reference Model for Open Distributed Processing"; англ. термин взят из стандарта ISO 1996 Alex_Odeychuk)