model-based development
| and
| verification
| model-based development abbr. | |
| progr. | разработка, управляемая моделями; управляемая моделями разработка; разработка с применением модели |
| and abbr. | |
| gen. | и; а |
| verification abbr. | |
| gen. | осуществление контроля; проверка; подтверждение; исследование; засвидетельствование; удостоверение |
| construct. | поверка |
| |||
| разработка, управляемая моделями (с генерацией кода приложения на основе структурированных моделей данных Alex_Odeychuk); управляемая моделями разработка (с генерацией кода приложения на основе структурированных моделей данных Alex_Odeychuk); разработка с применением модели (корпорации AdaCore Alex_Odeychuk); модельно-ориентированный подход к разработке программного обеспечения (корпорации AdaCore Alex_Odeychuk) | |||
|
model-based development : 5 phrases in 1 subject |
| Programming | 5 |