model-based development and verification
| toolset
| model-based development and verification abbr. | |
| progr. | модельно-ориентированный подход к разработке и верификации программного обеспечения |
| toolset abbr. | |
| automat. | комплект инструментов; набор средств |
| comp. | набор инструментария; набор дополнений |
| comp., MS | пакет |
| econ. | инструментарий |
| O&G. tech. | набор технических средств |
| progr. | набор инструментов; комплект инструментальных средств |
| |||
| модельно-ориентированный подход к разработке и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) | |||
|
model-based development and verification : 3 phrases in 1 subject |
| Programming | 3 |