Английский ⇄ Русский +

model-based development and verification toolset ударения
прогр.	комплект инструментальных средств управляемой моделями разработки и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk)