Видеотека: Архив докладов 2024

ВИДЕОТЕКА

Архив докладов

Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию, г. Новосибирск

О "граблях" в инициализации объектов в современных языках программирования А. Е. Недоря 2 февраля 2024 г. 10:00 г. Новосибирск
Логика распознавания последовательностей состояний SSRL (State Sequences Recognition Logic) и примеры её применения для формализации темпоральных требований к управляющим программ И. С. Ануреев 14 февраля 2024 г. 19:00 г. Новосибирск
Выразительные возможности операторов частичной неподвижной точки для конечных и бесконечных систем В. С. Секорин 28 февраля 2024 г. 19:00 г. Новосибирск
Towards a Tractable Exact Test for Global Multiprocessor Fixed Priority Scheduling Burmyakov Artem Sergeevich 6 марта 2024 г. 19:00 г. Новосибирск
Automated Reasoning with Continuous Data M. V. Korovina 8 марта 2024 г. 14:00 г. Новосибирск
Взаимосвязи семантик и эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией А. Ю. Зубарев 20 марта 2024 г. 19:00 г. Новосибирск
Объектно-ориентированное программирование без встроенных типов А. В. Когтенков 3 апреля 2024 г. 16:00 г. Новосибирск
Towards a Tractable Exact Test for Global Multiprocessor Fixed Priority Scheduling (2nd part) Burmyakov Artem Sergeevich 24 апреля 2024 г. 16:00 г. Новосибирск
Modelling C++ inheritance and dynamic semantics using a C++ virtual machine Зуев Евгений Александрович 8 мая 2024 г. 16:00 г. Новосибирск
«Теория всего»: унификация паттернов дизайна алгоритмов (метода отката, ветвей и границ, жадных алгоритмов, метода разделяй и властвуй, и динамического программирования…) Н. В. Шилов 22 мая 2024 г. 16:00 г. Новосибирск
Процедурно-параметрический полиморфизм и его интеграция с языком программирования C А. И. Легалов 29 мая 2024 г. 16:00 г. Новосибирск
Архитектурное программирование. Языки Арс и Арвиль А. Е. Недоря 3 июля 2024 г. 16:00 г. Новосибирск
Классификация коммитов в git репозиториях для поиска наиболее частых исправлений ошибок в системном программном обеспечении (ядро Linux и проекты кибефизических систем) С. М. Старолетов 21 августа 2024 г. 14:00 г. Новосибирск
Обзор выразительных возможностей формальных языков с захватом в память А. Н. Непейвода 27 сентября 2024 г. 13:00 г. Новосибирск
UOOR: an Object-Oriented Approach for Requirements engineering Наумчева Мария Евгеньевна 15 ноября 2024 г. 13:00 г. Новосибирск
Прагматически-ориентированные модели и методы обработки естественно-языковых вопросно-ответных текстов Прокопьев Николай Аркадьевич 29 ноября 2024 г. 13:00 г. Новосибирск
A Relational Solver for Constraint-based Type Inference Доморацкий Эридан Алексеевич 10 декабря 2024 г. 17:00 г. Новосибирск
Декомпозиция булевых функций и приложения П. Г. Емельянов 20 декабря 2024 г. 14:10 г. Новосибирск
Соревнование по формальной верификации программ VeHa-2024: два года большого пути Д. А. Кондратьев 23 декабря 2024 г. 08:40 г. Новосибирск
Декомпозиция булевых функций и приложения - вторая часть (завершение доклада) П. Г. Емельянов 25 декабря 2024 г. 14:10 г. Новосибирск