Terms for subject Programming containing средства автоматической

Russian	English
инструментальное средство автоматической верификации программ	automatic program verification tool (Microsoft Alex_Odeychuk)
инструментальное средство автоматической инспекции и валидации кода	automatic code reviewer and validator (компании AdaCore Alex_Odeychuk)
инструментальные средства автоматической реорганизации кода	automated refactoring tools (ssn)
программные средства автоматической установки	autoinstall software (системы на компьютер ssn)
средства автоматической проверки инструментом параметризации	means of an automatic check by a parameterization tool (ssn)
язык программирования со встроенными средствами автоматической верификации программного обеспечения	verification aware programming language (Alex_Odeychuk)