Язык / 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: Евгений Корныхин
Трансляция семинара 18 апреля
Мы готовы принимать вопросы в твиттер: http://twitter.com/sdat_seminar Tweet This Post Send Gmail
18 апреля: Исследования Microsoft Research в области верификации программных систем
Елена Анатольевна Павлова - к.т.н., координатор программ, Microsoft Tweet This Post Send Gmail
Трансляция семинара 21 марта
Мы готовы принимать вопросы в твиттер: http://twitter.com/sdat_seminar Tweet This Post Send Gmail
21 марта: Process mining: извлечение, анализ и совершенствование процессов на основе логов событий.
В докладе будет рассказано о process mining - направлении исследований, которое находится на стыке между компьютерной обработкой и извлечением данных (data mining), с одной стороны, и моделированием и анализом процессов с другой. Основная идея этого направления состоит в обнаружении, мониторинге … Continue reading
Трансляция семинара 21 февраля
Мы готовы принимать вопросы в твиттер: http://twitter.com/sdat_seminar Tweet This Post Send Gmail
21 февраля: SEMAT - к теории программной инженерии. Состояние и направления развития.
Докладчик: Позин Борис Аронович - доктор технических наук, профессор, Председатель SEMAT Russian Chapter, технический директор (CTO) компании ЕС-Лизинг, член правления фонда ФОСТАС. Tweet This Post Send Gmail
Трансляция семинара 17 января
Мы готовы принимать вопросы в твиттер: http://twitter.com/sdat_seminar Tweet This Post Send Gmail
17 января: Моделирование и формальная верификация микроархитектуры
Александр Готманов – научный сотрудник Московского отделения лаборатории САПР (Strategic CAD Labs, Intel Corporation (Москва). В 2005 году закончил факультет ВМК МГУ имени М.В. Ломоносова. Область деятельности - моделирование, анализ и оптимизация микроархитектуры СБИС (в частности, формальная верификация транспортной логики, … Continue reading
Трансляция семинара 20 декабря
Мы готовы принимать вопросы в твиттер: http://twitter.com/sdat_seminar Tweet This Post Send Gmail
20 декабря: Динамическая проверка HDL-описаний на основе эталонных моделей
Александр Камкин – к.ф.-м.н., старший научный сотрудник Института системного программирования РАН. Область научных интересов: спецификация и верификация цифровой аппаратуры, статический и динамический анализ HDL-описаний, генерация тестов для микропроцессоров. Tweet This Post Send Gmail