Международная научно-практическая конференция "Инструменты и методы анализа программ, TMPA-2013"
Конференция посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения.
Конференция нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации.
В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов; доклады участников, отобранные программным комитетом из числа поступивших заявок; презентации открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные исследования или новые инструменты.
Тематика конференции
• автоматизация тестирования программного обеспечения;
• статический анализ программ;
• верификация;
• динамические методы анализа программ;
• тестирование и анализ параллельных и распределенных систем;
• тестирование и анализ высоконагруженных систем и систем высокой доступности;
• анализ и верификация программно-аппаратных систем;
• методы создания качественного программного обеспечения;
• инструментальные средства анализа, тестирования и верификации.
Организационный комитет конференции
• Киселев Михаил Владимирович, д.т.н., проф., проректор по научной работе КГТУ, председатель;
• Матвеева Елена Анатольевна, зав. аспирантурой и докторантурой КГТУ;
• Тихомиров Леонид Алексеевич, к.т.н, доцент, начальник Управления научно-инновационной деятельности КГТУ;
• Яворский Ростислав Эдуардович, к.ф.-м.н., Фонд «Сколково»;
• Ходченко Александра Сергеевна, «Инновационные Трейдинговые Системы»
Даты проведения:
с 10.10.2013
по 12.10.2013 Регистрация:
c 01.04.2013
по 01.07.2013 Место проведения:Кострома
RSS Канал