Ануреев Игорь Сергеевич

Россия, Новосибирск

Степень

Область научных интересов

Место работы и должность

Институт систем информатики им. А.П. Ершова СО РАН — старший научный сотрудник

Адрес электронной почты

Список статей в журнале СИ:

Ануреев И.С. Предметно-ориентированные системы переходов: объектная модель и язык // Системная информатика. — 2013. — № 1. — С. 1-34

Ануреев И.С. Концептуальные системы переходов // Системная информатика. — 2015. — № 5. — С. 1-38

Ануреев И.С. Виды и язык концептуальных систем переходов // Системная информатика. — 2015. — № 5. — С. 55-74

Ануреев И.С. Формализмы для концептуального проектирования замкнутых информационных систем // Системная информатика. — 2016. — № 7. — С. 69-148

Ануреев И.С. Формализмы для концептуального проектирования информационных систем // Системная информатика. — 2016. — № 8. — С. 53-88

Ануреев И.С. Операционная семантика языка Рефлекс // Системная информатика. — 2019. — № 14. — С. 1-10

Гаранина Н.О., Ануреев И.С., Зюбин В.Е. Constructing Verification-Oriented Domain-Specific Process Ontologies // Системная информатика. — 2019. — № 14. — С. 19-30

Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Розов А.С., Лях Т.В., Горлач С.П. Рассуждения о программируемых логических контроллерах // Системная информатика. — 2020. — № 17. — С. 33-42