SMS dit: Математические аспекты автоматического проектирования