Язык / 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: Евгений Корныхин
19 января: Avalanche — инструмент обнаружения программных дефектов при помощи динамического анализа
Avalanche - это открытая разработка ИСП РАН, совместно с Samsung. Avalanche использует возможности динамической инструментации программы, предоставляемые Valgrind, для сбора и анализа трассы выполнения программы. Результатом такого анализа становится либо набор входных данных, на которых в программе возникает ошибка, либо … Continue reading
Видеозаписи первых семинаров
Благодаря Алексею Анатольевичу Бурцеву, у нас появились записи следующих трех докладов: №1 - Руслан Смелянский - Анализ поведения программ №2 - Александр Волков, Сергей Марков - Использование статического анализа для поиска дефектов программного кода №5 - Алексей Лациc – Технологии … Continue reading
Трансляции сегодня не будет
По техническим причинам веб-трансляции семинара сегодня не будет. Следите за твит-трансляцией: http://twitter.com/sdat_seminar . Tweet This Post Send Gmail
Трансляция сегодняшнего семинара
В тестовом режиме 15 декабря планируется веб-трансляция семинара на нашем сайте. Заранее приносим свои извинения за возможные технические сбои. Tweet This Post Send Gmail
15 декабря: Метод сбалансированного выбора модулей бортовой вычислительной системы с учётом требований к ее надёжности
Докладчик: Волканов Дмитрий Юрьевич, к.ф.-м.н. Окончил факультет ВМК МГУ имени М.В. Ломоносова. Ассистент кафедры АСВК факультета ВМК. Сотрудник Лаборатории вычислительных комплексов факультета ВМК. Научные интересы: надёжность, отказоустойчивость, имитационное моделирование, встроенные системы, эволюционные алгоритмы. В докладе рассматривается задача оптимизации надёжности бортовой … Continue reading
17 ноября: объектно-ориентированное программирование в ограничениях - новое приложение в программной инженерии
Ключевые слова: Программирование в ограничениях (constraint programming), языки UML OCL, Express. Докладчик: Семенов Виталий Адольфович (профессор, д.ф.-м.н., ведущий научный сотрудник ИСП РАН). Научные интересы: технологии объектно-ориентированного программирования, модели данных, интеграция CAD/CAM технологий. Tweet This Post Send Gmail
Запись семинара 20 октября 2011 года
В архиве выложены слайды и видеозапись семинара, прошедшего 20 октября 2011 года. Tweet This Post Send Gmail
Веб-трансляция
Прямую трансляцию текущего семинара смотрите тут: http://212.192.247.132/videos/video/276/?live=true Tweet This Post Send Gmail