РУАЭСТ (RUAEST)
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:
АЛГЕБРАИЧЕСКИЙ ПОДХОД К РЕШЕНИЮ НЕКОТОРЫХ ЗАДАЧ РЕФАКТОРИНГА
В статье предлагается алгебраический подход к решению некоторых задач рефакторинга объектно-ориентированных систем. Описана основанная на решетках алгебраическая модель, адекватно отражающая иерархии типов и взаимосвязи между ними. Показано, какие задачи рефакторинга могут быть решены с помощью данного подхода. Доказана теорема о замкнутости представленной модели. Эта теорема лежит в основе автоматизации эквивалентных преобразований и оптимизации иерархии типов
Авторы
Тэги
алгебраическая система
иерархия типов
рефакторинг
решетки
логическое замыкание
эквивалентные преобразования
Тематические рубрики
Предметные рубрики
В этом же номере:
МНОГОКРИТЕРИАЛЬНАЯ ТРАНСПОРТНАЯ ЗАДАЧА С РАЗРЫВНОЙ ЦЕЛЕВОЙ ФУНКЦИЕЙ,
НЕЧЕТКИЕ ТЕХНОЛОГИИ ТРЕХСТОРОННЕЙ КОМПЛЕКСНОЙ ОЦЕНКИ КАЧЕСТВА ОБРАЗОВАТЕЛЬНЫХ УСЛУГ,
...
Резюме по документу**
** - вычисляется автоматически, возможны погрешности
Похожие документы: