dlaa injoit mbse mbsse sitito автоматное моделирование архитектура систем безопасность систем ии вмк мгу инженерия требований интеграция систем и по интернет-журналист интернет-конкурс информационные технологии ит-журналы ит-конференции ит-образование кибербезопасность книга памяти компьютерные журналы конгресс конгрессы конечные автоматы конкурс лаборатория оит лига интернет-медиа мвк мгу мгу мгу имени м.в.ломоносова модели жизненного цикла намиот научные журналы некоммерческий фонд никлаус вирт новое поколение образовательные продукты оит-платформа оит лаборатория онтологическая платформа. онтологическая схема онтология сжр системная инженерия системы ии ситито страница семейной славы сухомлин владимир теория автоматов том 21 № 3 (2025) фод лим фонд лига интернет-медиа хроника цифровые двойники юрг гуткнехт язык моделирования