Работа посвящена автоматизации процесса проектирования программного обеспечения. Проанализированы типичные ошибки проектирования, допускаемые студентами. Показано, что ряд ошибок можно обнаружить без участия человека. Предложена формальная модель проекта, использующего нотацию UML для процесса проектирования ICONIX и алгоритмы анализа проекта на наличие ряда ошибок.

В статье рассматриваются пути решения задачи автоматизации системы управления проектами. Были рассмотрены коробочные, конструкторские решения и написание с нуля. Приведен пример реализации конструкторского решения на платформе Сириус.