Язык / Language
Организаторы
Место проведения
Семинар проходит в Институте системного программирования РАН (ул. Александра Солженицына, 25), аудитория 110. Начало в 17:00.Последние доклады
- 17 декабря: О проблеме повышения надёжности смарт-контрактов через символьную верификацию моделей
- 31 октября: Технология предикатного и автоматного программирования
- 13 июня: Реляционные инварианты как решения нелинейных систем дизъюнктов Хорна с ограничениями
- 21 марта: Управление дублированной информацией в software данных
- 21 февраля: Методы и средства реализации программно-управляемого процесса разработки программного обеспечения критически важных информационных систем
Прошедшие доклады
Слайды и материалы всех прошедших докладов размещены в архиве.Список рассылки
sdat-seminar.
Присоединяйтесь!Комментарии
- Евгений Корныхин к записи 20 октября: Инструментальная поддержка процесса верификации, определенного в документах DO-178B/C
- Михаил Сабуров к записи 20 октября: Инструментальная поддержка процесса верификации, определенного в документах DO-178B/C
- Саша к записи 22 января: Система NPS: альтернативный подход в имитационном моделировании компьютерной сети
- Ян к записи 18 декабря: Операционная система «Реактос»
- Видеозапись выступления координатора проекта ReactOS | AllUNIX.ru — Всероссийский портал о UNIX-системах к записи 18 декабря: Операционная система «Реактос»
Author Archives: Евгений Корныхин
Эл.адрес семинара
Если у вас есть вопросы, присылайте их нам на адрес sdat @ ispras.ru . Tweet This Post Send Gmail
20 октября, «Модели тестирования систем высокочастотной торговли»
Доклад рассказывает о том, что такое высокочастотная торговля и как она влияет на структуру финансовых рынков, какие требования предъявляются к платформам, обеспечивающим функционирование упорядоченного биржевого рынка. Рассматриваются технологические особенности моделирования и создания реалистичной нагрузки, эмулирующей активность, производимую одновременно всеми участниками … Continue reading
15 сентября: Решение проблем построения параллельных программных систем путем использования понятий «пространство» и «время»
Рассматриваются средства для объединения программных объектов в систему с параллельно эволюционирующими частями, средства для описания связей между объектами и средства для синхронизации взаимодействия объектов. Обсуждаются преимущества и недостатки предлагаемого решения в сравнении с другими известными решениями. Приводятся результаты, полученные при … Continue reading
О семинаре
Заседания семинара посвящены современным проблемам программной инженерии, методам и инструментам разработки, анализа и тестирования программ. В список тем семинара входят: Извлечение, анализ и моделирование требований Парадигмы моделирования вычислительных систем Методы проектирования систем Архитектуры программных систем Статический и динамический анализ программ … Continue reading
До встречи в новом году
Поздравляем всем слушателей семинара с завершением очередного сезона. Ждем всех в следующем сезоне. Следите за объявлениями. Tweet This Post Send Gmail