- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Парадигма ограничений в языках объектно-ориентированного моделирования.
Авторы
Семенов В.А., Морозов С.В., Тарлапан О.А., Шарыкин А.С.
Аннотация
В работе рассматриваются оригинальные возможности синтеза двух популярных парадигм программирования (программирования в ограничениях и объектно-ориентированного моделирования) и предлагаются способы их конструктивной реализации в виде соответствующих расширений стандартных декларативных языков информационного моделирования и сред исполнения. Предполагается, что использование данного подхода будет эффективным по отношению к популярным нотациям информационного моделирования, таким как EXPRESS и UML/OCL.
Издание
Материалы XXXIII международной конференции, IV международной конференции молодых ученых "Информационные технологии в науке, образовании, телекоммуникации и бизнесе" IT+S&E'06, майская сессия, Украина, Крым, Ялта-Гурзуф, 20-30 мая 2006 г. Издательство: Издательство Запорожского национального университета, 2006. Стр. 427-428.
Научная группа
Системная интеграция и прикладные программные комплексы
Все публикации за 2006 год
