Методы автоматизации построения поведенческой модели программного продукта на основе UCM-спецификаций: автореф. дис. … канд. техн. наук: 05.13.11