Конференция "Инструменты и методы анализа программ - 2015"

12-14 ноября 2015 года состоится третья конференция по программной инженерии "Инструменты и методы анализа программ" (Tools & Methods of Program Analysis, TMPA-2015).

12-14 ноября 2015 года в СПбПУ состоится третья конференция по программной инженерии "Инструменты и методы анализа программ" (Tools & Methods of Program Analysis, TMPA-2015).

Темы, рассматриваемые на конференции, включают (но не ограничиваются):

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

На конференции будут представлены как приглашенные доклады признанных специалистов в области программной инженерии, так и конкурсные доклады, прошедшие рецензирование несколькими независимыми экспертами. В качестве экспертов привлекаются ведущие российские и зарубежные ученые в области разработки и анализа программного обеспечения. Оргкомитет организует бесплатное проживание для докладчиков конференции.

Адрес для подачи докладов