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