• Технологии обеспечения проектирования, контроля и моделирования программных систем