Международная конференция вопросам контроля качества программного обеспечения в СПбПУ - Информационный портал

Международная конференция вопросам контроля качества программного обеспечения в СПбПУ

9 Ноября 2015

Международная конференция вопросам контроля качества программного обеспечения в СПбПУ

С 11 по 14 ноября в Ресурсном центре международной деятельности Политеха состоится III Научно-практическая конференция «Инструменты и методы анализа программ-2015» (ТМPА-2015). 

Конференция будет посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения. Мероприятие нацелено на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации.

Одним из организаторов конференции является кафедра «Компьютерные системы и программные технологии» Института компьютерных наук и технологий СПбПУ. В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов; доклады участников, отобранные программным комитетом из числа поступивших заявок; презентации открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные исследования или новые инструменты.

Темы, рассматриваемые на конференции:
• Автоматизация тестирования программного обеспечения;
• Статический анализ программ;
• Верификация;
• Динамические методы анализа программ;
• Тестирование и анализ параллельных и распределенных систем;
• Тестирование и анализ высоконагруженных систем и систем высокой доступности;
• Анализ и верификация программно-аппаратных систем;
• Методы создания качественного программного обеспечения;
• Инструментальные средства анализа, тестирования и верификации;
• Др.

Среди приглашенных докладчиков: ключевой эксперт конференции – Николас Гюльфи (Nicolas Guelfi), Университет Люксембурга, доклад “Software Engineering Education: The Messir Approach”; Антон Семенченко, компания DPI Solutions, доклад «Автоматизированное тестирование вчера, сегодня, завтра – векторы развития»; Михаил Глухих, компания JetBrains, доклад «Язык Котлин: от разадресации нуля до умных преобразований типов»; Бертранд Мейер (Bertrand Meyer), компания Eiffel Software, доклад “ A Theory of Programs”.

Источник:  http://www.spbstu.ru/
Короткая ссылка на новость: https://www.nstar-spb.ru/~kUTCG


Газета «Санкт-Петербургский вестник высшей школы»

Санкт-Петербургский вестник высшей школы

музыкальный вестник