Наведено алгебраїчний підхід до формалізації рефакторінгу компонентів. На базі моделі компонента разглянуті методи рефакторінгу, припустимі операції та умови цілісності компонентів. Визначені концепції побудови алгебраїчної ...