Дисертація присвячена питанням розробки математичних моделей реінжинірінгу корпоративних інформаційних систем (КІС) на різних його етапах, а саме: на етапі визначення виду забезпечення КІС, який підлягає безпосередньому реінжинірінгу; на етапі визначення варіанта реінжинірінгу окремного виду забезпечення КІС; на етапі визначення станів інших видів забезпечень КІС та варіантів їхнього реінжинірінгу; на етапі інтеграції варіантів реінжинірінгу видів забезпечень КІС у едину забезпечуючу частину КІС. Запропоновані в роботі моделі дозволяють використовувати під час проектування типові формалізовані описи видів забезпечень КІС із застосуванням єдиного математичного апарату Загальної Теорії Систем. Використання запропонованої в роботі технології сталого реінжинірінгу дозволяє автоматизувати модернізацію КІС на якісно новому рівні, ніж це дозволяють існуючі засоби проведення реінжинірінгу. В роботі показано використання запропонованих рішень під час реінжинірінгу функціонального модуля "Кадри" інформаційно-аналітичної системи "Университет" Харківського національного університету радіоелектроніки.