Позин Борис Аронович
Докладчик: Позин Борис Аронович - доктор технических наук, профессор, Председатель SEMAT Russian Chapter, технический директор (CTO) компании ЕС-Лизинг, член правления фонда ФОСТАС.
Язык / Language
Организаторы
Место проведения
Семинар проходит в Институте системного программирования РАН (ул. Александра Солженицына, 25), аудитория 110. Начало в 17:00.Последние доклады
- 20 сентября: Автоматное программирование: определение, модель, реализация
- 21 июня: К вопросу построения инструмента формальной верификации смарт-контрактов
- 1 марта: О верификации программ, манипулирующих строковыми данными
- 16 ноября: Операционные методы в приложении к слабым моделям памяти
- 21 сентября: ИНТЕРКОМП-технология создания сложных систем управления
Прошедшие доклады
Слайды и материалы всех прошедших докладов размещены в архиве.Список рассылки
sdat-seminar.
Присоединяйтесь!Комментарии
- Евгений Корныхин к записи 20 октября: Инструментальная поддержка процесса верификации, определенного в документах DO-178B/C
- Михаил Сабуров к записи 20 октября: Инструментальная поддержка процесса верификации, определенного в документах DO-178B/C
- Саша к записи 22 января: Система NPS: альтернативный подход в имитационном моделировании компьютерной сети
- Ян к записи 18 декабря: Операционная система «Реактос»
- Видеозапись выступления координатора проекта ReactOS | AllUNIX.ru — Всероссийский портал о UNIX-системах к записи 18 декабря: Операционная система «Реактос»