Докладчик: Александр Леонидович Александров – к.ф.-м.н., ст. научн. сотр., доцент, руководитель группы в компании Luxoft. Окончил мехмат МГУ и аспирантуру МГУ. После окончания МГУ в 1970 году работал в Вычислительном центре МГУ и на факультете ВМК МГУ до 1999 года. Занимался разработкой стандартов языков программирования, компиляторов, разработкой и эксплуатацией информационных систем, тестированием и документированием, поставкой проекционного оборудования, управлением проектами. Затем перешёл в компанию Luxoft. Эксперт по управлению качеством, инструктор Luxoft Training. Область научных интересов – тестирование ПО, анализ требований к программному обеспечению, совершенствование процессов программной инженерии, обучение, консалтинг.
Язык / 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 декабря: Операционная система «Реактос»