Рубрика Автоматизация программирования включает такие технологии, как:
* Интерпретаторы и компиляторы
* Средства автоматического кодирования
* Технология формальной верификации кода
* Системы проектирования алгоритмов
* Библиотеки инструментов и автоматического тестирования
* Искусственный интеллект и автоматический расчет алгоритмов
* Технологии анализа данных для аут