Язык / 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: Евгений Корныхин
28 января: Среда динамического моделирования технических систем SimInTech как универсальная платформа для создания динамических моделей технических систем
Петухов Вячеслав Николаевич — генеральный директор ООО «3В Сервис». Закончил факультет энергетического машиностроения МГТУ имени Н.Э. Баумана, специалист по ядерным энергетическим установкам. Скворцов Леонид Маркович — один из разработчиков системы SimInTech. Окончил Московский институт электронного машиностроения в 1973 году. Работал … Continue reading
17 декабря: Формальная верификация модуля безопасности ядра Linux
Денис Валентинович Ефремов — сотрудник ИСП РАН. Закончил факультет ВМК МГУ имени М.В. Ломоносова в 2011 году. Работал над проектами ИСП РАН по созданию защищённого гипервизора, проектами по созданию инструментов статической и динамической верификации. Ведёт семинары и практические занятия на … Continue reading
19 ноября: Сложность в инженерии
Анатолий Левенчук — президент TechInvestLab, директор по исследованиям Русского отделения INCOSE, член исполкома Русского отделения SEMAT, член ACM/SIGSOFT, расскажет о борьбе сложностью в инженерии. Главным средством этой борьбы является системный подход, который предлагает множество приёмов мышления, помогающих системному инженеру разбить … Continue reading
15 октября: PleskFS — гибридная файловая система для облачного веб-хостинга
Михаил Рутман — ведущий программист ЛСКТ НИЧ НГУ (лаборатории современных компьютерных технологий научно-исследовательской части НГУ), старший преподаватель кафедры общей информатики факультета информационных технологий Новосибирского государственного университета. Выпускник физического факультета НГУ. Долгое время работал в компании СИГНАТЕК, где прошел путь от … Continue reading
Сезон 2015/2016
Уважаемые слушатели семинара! Осень 2015 года семинар продолжает свою работу. Первое заседание запланировано на 15 октября. Как и раньше, семинар проходит на факультете ВМК МГУ в 18:00. Если вы еще не были у нас раньше, напишите, пожалуйста, заранее письмо на … Continue reading
Семинар в мае 2015 года
Уважаемые слушатели семинара ТРАП! В связи с тем, что 20-21 мая 2015 в МИЭМ НИУ ВШЭ проходит Четвертая научно-практическая конференция «Актуальные проблемы системной и программной инженерии» (АПСПИ - 2015) очередное заседание семинара в МГУ не состоится. Все желающие приглашаются принять … Continue reading
16 апреля: Как разрабатывать коммерческое программное обеспечение с высокой долей инноваций (на примере Parallels Cloud Server)
Дмитрий Мишин — руководитель проектов в департаменте серверной виртуализации Parallels. Выпускник кафедры «Системное программирование» МФТИ при ИСП РАН. С 2004 года продолжил заниматься системным программированием в компании Parallels. С 2006-го года занимается руководством проектов в области серверной виртуализации. Сергей Бронников … Continue reading
19 марта: Первая отечественная сетевая ОС с открытым кодом
Шалимов Александр Владиславович — ведущий программист-исследователь Центра Прикладных Исследований Компьютерных Сетей (ЦПИКС) и младший научный сотрудник МГУ имени М.В. Ломоносова. Окончил факультет ВМК МГУ, кандидат физико-математических наук. В 2010 году прошел стажировку в Microsoft Research (США), где занимался разработкой компилятора … Continue reading
19 февраля: Модульная операционная система ответственного применения (МОС ОП)
Фролов Александр Сергеевич — инженер-программист ООО «ВАИС-Техника» (Компания Wise Technique). Закончил МФТИ. Его опыт включает такие проекты как система объективного контроля RRJ-express (ЗАО «Гражданские самолеты Сухого») и перспективное информационно-управляющее поле кабины самолёта (ФГУП «Пилотажно-исследовательский центр»). Результаты по последнему из проектов … Continue reading
22 января: Система NPS: альтернативный подход в имитационном моделировании компьютерной сети
Антоненко Виталий Александрович — кандидат физико-математических наук, младший научный сотрудник МГУ имени М.В. Ломоносова, сотрудник ЦПИКС (Центра Прикладных Исследований Компьютерных Сетей). Его опыт включает научные проекты в области имитационного моделирования и сетевой безопасности в лаборатории вычислительных комплексов факультета ВМК МГУ … Continue reading