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