Angielski ⇄ Rosyjski +

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