Ануреев Игорь Сергеевич
Россия, Новосибирск
кандидат физико-математических наук
Институт систем информатики им. А.П. Ершова СО РАН — старший научный сотрудник
https://www.system-informatics.ru/author/anureev
Список статей в журнале СИ:
Ануреев И.С. Предметно-ориентированные системы переходов: объектная модель и язык // Системная информатика. — 2013. — № 1. — С. 1-34
Ануреев И.С. Концептуальные системы переходов // Системная информатика. — 2015. — № 5. — С. 1-38
Ануреев И.С. Виды и язык концептуальных систем переходов // Системная информатика. — 2015. — № 5. — С. 55-74
Ануреев И.С. Формализмы для концептуального проектирования замкнутых информационных систем // Системная информатика. — 2016. — № 7. — С. 69-148
Ануреев И.С. Формализмы для концептуального проектирования информационных систем // Системная информатика. — 2016. — № 8. — С. 53-88
Ануреев И.С., Промский А.В. Концептуальные системы переходов и их применение к разработке концептуальных моделей языков программирования // Системная информатика. — 2017. — № 9. — С. 133-154
Ануреев И.С. Операционные концептуальные системы переходов и их применение к разработке концептуальной операционной семантики языков программирования // Системная информатика. — 2017. — № 9. — С. 155-200
Ануреев И.С. Операционная семантика языка Рефлекс // Системная информатика. — 2019. — № 14. — С. 1-10
Гаранина Н.О., Ануреев И.С., Зюбин В.Е. Constructing Verification-Oriented Domain-Specific Process Ontologies // Системная информатика. — 2019. — № 14. — С. 19-30
Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Розов А.С., Лях Т.В., Горлач С.П. Рассуждения о программируемых логических контроллерах // Системная информатика. — 2020. — № 17. — С. 33-42