Terms for subject Software containing автоматическая

Russian	English
автоматическая генерация документации	automatic documentation generation (корпорации AdaCore Alex_Odeychuk)
автоматическая модульная верификация	automated modular verification (Alex_Odeychuk)
автоматический доказатель теорем	automatic prover (adacore.com Alex_Odeychuk)
автоматический перенос	soft return (Alexander Matytsin)
автоматический перенос слов	soft return (текстовой редактор Alexander Matytsin)
автоматический статический анализ и формальная верификация программного обеспечения	automatic analysis and verification (Electronic Design Alex_Odeychuk)
автоматический уход	automatic escape from (Yeldar Azanbayev)
автоматический уход	automatic avoidance (Yeldar Azanbayev)
автоматический уход	automatic departure (Yeldar Azanbayev)
автоматическое выявление ошибок	automated detection of errors (Alex_Odeychuk)
автоматическое масштабирование	auto-sizing (T8n)
автоматическое обновление	autoupdate (Alex_Odeychuk)
выполнить автоматическую верификацию	provide automatic verification (программного обеспечения Alex_Odeychuk)
инструмент автоматического доказательства теорем	automated theorem prover (Alex_Odeychuk)
инструмент автоматического доказательства теорем	prover (Alex_Odeychuk)
инструмент автоматической верификации программного обеспечения	automated verification tool (Alex_Odeychuk)
инструментальное средство автоматического выравнивания параллельных текстов	bitext tool (Alex_Odeychuk)
инструментальное средство автоматического выравнивания параллельных текстов	alignment tool (позволяет в автоматическом режиме приводить в соответствие два текста (оригинал и перевод) по каждому предложению Alex_Odeychuk)
обеспечить автоматическую верификацию	provide automatic verification (программного обеспечения Alex_Odeychuk)
правило автоматического обновления	auto-update rule (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk)
программа автоматического сбора информации	crawler
развёртывание систем автоматического вождения	deployment of automated driving systems (New York Times Alex_Odeychuk)
средство автоматической установки	auto-installer (Alex_Odeychuk)
функциональные возможности автоматического слияния	auto merge capabilities (Alex_Odeychuk)