Международная научно-практическая конференция «Tools & Methods of Program Analysis» («Инструменты и методы анализа программ») (TMPA-2013)
10 - 12 октября 2013 г., КостромаРубрики: Конференция | ИТ URL мероприятия: http://tmpaconf.orgОписание:
|
10–12 октября 2013 года, Кострома.
Участники:
студенты старших курсов, специализирующиеся в области разработки программного обеспечения, аспиранты и молодые ученые, заинтересованные в независимой экспертизе своих исследований, а также признанные ученые, готовые поделиться своими инновационными разработками.
Тематика конференции:
- автоматизация тестирования программного обеспечения;
- статический анализ программ;
- верификация;
- динамические методы анализа программ;
- тестирование и анализ параллельных и распределенных систем;
- тестирование и анализ высоконагруженных систем и систем высокой доступности;
- анализ и верификация программно-аппаратных систем;
- методы создания качественного программного обеспечения;
- инструментальные средства анализа, тестирования и верификации.
Крайний срок представления аннотаций статей: 22 июля 2013 г.,
Крайний срок представления статей: 1 августа 2013 г.
Факультет автоматизированных систем и технологий, Костромской государственный технологический университет (ФАСТ КГТУ),
Институт проблем информатики Российской академии наук (ИПИ РАН),
Санкт-Петербургский государственный политехнический университет (СПбГПУ), кафедра компьютерных систем и программных технологий (КСПТ),
Компания «Инновационные Трейдинговые Системы» (ИТС).
Контактная информация:Институт проблем информатики Российской академии наук (ИПИ РАН),
Санкт-Петербургский государственный политехнический университет (СПбГПУ), кафедра компьютерных систем и программных технологий (КСПТ),
Компания «Инновационные Трейдинговые Системы» (ИТС).
тел.: (495) 640-24-60;
E-mail: program@tmpaconf.org.
Источник информации: http://elementy.ru/
E-mail: program@tmpaconf.org.