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