Terms for subject Programming containing model-based development and verification

English	Russian
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)