| English | Russian |
| Certainly, most of the research on continuous-time model checking is based on this model | Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| event and state-based model | модель, управляемая состояниями и событиями (ssn) |
| event based processing model | модель обработки, основанная на событиях (ssn) |
| event-based model | модель, управляемая событиями (ssn) |
| language based on the model | язык, основанный на модели (ssn) |
| model based design | проектирование, основанное на модели (ssn) |
| model based on the synchronous dataflow language | модель, основанная на синхронном языке потоков данных (ssn) |
| model based testing | тестирование на основе построения моделей (ssn) |
| model based testing | тестирование программ на основе построения моделей (ssn) |
| model based testing | модельное тестирование (подход в тестировании, при котором строится математическая модель всей системы, а тестирование проводится по построенной модели ssn) |
| model-based | на основе использования модели (ssn) |
| model-based | основанный на моделях (ssn) |
| model-based | модельно-ориентированный (e.g., model-based development and verification – модельно-ориентированный подход к разработке и верификации программного обеспечения Alex_Odeychuk) |
| model-based | с применением моделей (ssn) |
| model-based | с использованием модели (ssn) |
| model-based | с использованием моделей (ssn) |
| model-based | с применением модели (ssn) |
| model-based | на основе модели (ssn) |
| model-based builds | сборка проектов на основе моделей (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| model-based communication | коммуникация на основе модели (ssn) |
| model-based contract | модельный контракт (ssn) |
| model-based contract | контракт, основанный на модельном представлении (ООП ssn) |
| model-based design | методология MBD (ssn) |
| model-based design | модельно-ориентированное проектирование (ssn) |
| model-based design | проектирование с применением моделей (ssn) |
| model-based design | проектирование с применением модели (решение проблем проектирования сложных контроллеров с использованием математического аппарата и визуальных средств – для промышленного оборудования и робототехники, авиакосмических и автомобильных бортовых систем; эта методология помогает также при разработке встроенного ПО (embedded software). Парадигма MBD (model-based design) существенно отличается от традиционной методологии проектирования и гораздо эффективнее её, поскольку предполагает построение моделей с необходимыми функциональными характеристиками из стандартных блоков, интеграцию этих моделей со средствами имитационного моделирования системы. Благодаря этому ускоряется создание прототипов, тестирование и верификация ПО. В некоторых случаях при этом возможна реализация аппаратно-программного моделирования (hardware-in-the-loop simulation), что ещё более повышает скорость и эффективность разработки ssn) |
| model-based design process | процесс модельно-ориентированного проектирования (корпорации AdaCore Alex_Odeychuk) |
| model-based development | управляемая моделями разработка (с генерацией кода приложения на основе структурированных моделей данных Alex_Odeychuk) |
| model-based development | модельно-ориентированный подход к разработке программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
| model-based development | разработка с применением модели (корпорации AdaCore Alex_Odeychuk) |
| model-based development | разработка, управляемая моделями (с генерацией кода приложения на основе структурированных моделей данных Alex_Odeychuk) |
| model-based development and verification | модельно-ориентированный подход к разработке и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
| model-based development and verification tool | инструментальное средство для управляемой моделями разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk) |
| model-based development and verification toolset | комплект инструментальных средств управляемой моделями разработки и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
| model-based development tool kit | комплект инструментальных средств разработки, управляемой моделями (для автоматической кодогенерации приложений на основе структурированных моделей данных Alex_Odeychuk) |
| model-based diagnosis | диагностирование с использованием моделей (ssn) |
| model-based integration | модельно-ориентированная интеграция (Alex_Odeychuk) |
| model-based language | язык на основе модели (ssn) |
| model-based notation | нотация, основанная на моделях (семантически насыщенные графические и текстовые проектные нотации (напр., UML) ssn) |
| model-based software | программное обеспечение на основе моделей (Microsoft Alex_Odeychuk) |
| model-based software architecture | архитектура ПО, основанная на моделях (ssn) |
| model-based software architecture | архитектура программного обеспечения, основанная на моделях (ssn) |
| model-based software design | проектирование программного обеспечения на основе моделей (Microsoft Alex_Odeychuk) |
| model-based systems engineering | системное проектирование, основанное на модели (ssn) |
| model-based testing | модельное тестирование (ssn) |
| model-based testing | тестирование программ на основе построения моделей (ssn) |
| model-based testing | тестирование на основе построения моделей (ssn) |
| model-based testing | тестирование на основе моделей (ssn) |
| model-based vision | модельное машинное зрение (ssn) |
| model-based vision | машинное зрение на основе использования модельных представлений (ssn) |
| programming model based on concurrently executing state machines communicating via events | модель программирования на основе многопоточно выполняемых конечных автоматов с отправкой сигналов потокам выполнения с помощью механизма событий (InfoWorld Alex_Odeychuk) |
| strict priority based threading model | модель потоков со строгой очередью приоритетов (Alex_Odeychuk) |
| the modern approach to handling events is based on the delegation event model, which defines standard and consistent mechanisms to generate and process events | Современный подход к обработке событий основан на модели делегирования событий, определяющей стандартные и согласованные механизмы для создания и обработки событий (см. Java: The Complete Reference Eighth Edition by Herbert Schildt 2011) |
| tuple-based coordination model | модель координации на основе логических кортежей (Alex_Odeychuk) |