Болдырев И. А.
О проектах "Фреймворк СИГМА" и "Платформа АРХИ - управление строительным проектом".
Архив семинара
к.ф.-м.н. Кондратьев Д. А.
Использование формальной верификации для обеспечения качества программных платформ.
Ануреев И. С.
Использование формальных методов для обеспечения качества фреймворка СИГМА.
Андрей Гумиров
Язык построения исполнимых спецификаций D0SL (продолжение).
Аннотация
Данный доклад делается в рамках проекта Сигма ЦИИ НГУ.Андрей Гумиров
Язык построения исполнимых спецификаций D0SL.
Аннотация
Данный доклад делается в рамках проекта Сигма ЦИИ НГУ.Аркадий Рофе
СИГМА - генератор цифровых двойников субъектов управления.
Магистр 1 курса Сергей Новиков
ChatGPT o1 решение физических проблем на уровне PhD.
Информация о семинаре
Руководители:
акад. С. С. Гончаров, к.ф.-м.н А. В. Нечесов
Время и место проведения:
Среда, 18.10 ч., ауд. 5273, новый корпус НГУ
