Третья международная научно-практическая конференция "Инструменты и методы анализа программ" (TMPA-2015)
Дата начала: 12.11.15
Дата окончания: 14.11.15
Место и адрес проведения: Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург, Политехническая, 29
Описание мероприятия:
Конференция пройдёт 12 - 14 ноября 2015 года и соберёт студентов, аспирантов и молодых учёных, специализирующихся в области разработки программного обеспечения и заинтересованных в независимой экспертизе своих исследований, а также признанных учёных, готовых поделиться своими инновационными разработками.
Конференция будет посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения – и нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации.
В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов, доклады участников, отобранные программным комитетом из числа поступивших заявок, презентации открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные исследования или новые инструменты. Фирмы-разработчики программного обеспечения представят практические доклады.
К участию в программе конференции принимаются заявки в форме конкурсных докладов для отбора на рецензирование независимыми экспертами конференции "TMPA-2015", в качестве которых выступят российские и зарубежные учёные в области разработки и анализа программного обеспечения.
Языки конференции - русский и английский.
Тематика конференции:
- автоматизация тестирования программного обеспечения;
- статический анализ программ;
- верификация;
- динамические методы анализа программ;
- тестирование и анализ параллельных и распределенных систем;
- тестирование и анализ высоконагруженных систем и систем высокой доступности;
- анализ и верификация программно-аппаратных систем;
- методы создания качественного программного обеспечения;
- инструментальные средства анализа, тестирования и верификации.
Организаторы:
- Санкт-Петербургский политехнический университет Петра Великого, кафедра компьютерных систем и программных технологий института информационных технологий и управления СпбПУ;
- Федеральный исследовательский центр «Информатика и управление» Российской академии наук;
- Компания Exactpro Systems, входящая в группу Лондонская фондовая биржа
Для участия в мероприятии требуется предварительная регистрация
Подробную информацию Вы сможете найти на официальном сайте конференции tmpaconf.org, а также на следующих страницах в социальных сетях:
- Facebook: facebook.com/groups/tmpaconf
- ВКонтакте: vk.com/clubqa
- Twitter: @exactpro
- Instagram: instagram.com/exactprosystems/
Контактная информация оргкомитета:
- Телефон: +7 495 640 24 60
- Электронная почта: program@tmpaconf.org
Партнёры:
- Лондонская фондовая биржа (lseg.com)
- Компания GATElab (gatelab.com)
Комментарии:
Цветы: как они влияют на нашу жизнь и эмоции
Цветы играют особую роль в жизни каждого человека.
Техника Lenovo: надежность и долговечность при эксплуатации
Покупка технического устройства - это процесс, в котором важно учитывать различные нюансы, напрямую связанные с базовыми характеристиками приспособления и его функциональностью.
Лучшие модели наушников JBL: обзор и характеристики
JBL наушники широко известны высоким качеством звука и надёжностью, благодаря чему они завоевали доверие различных категорий пользователей — от меломанов до спортсменов.
Причины роста популярности Астрономии и Космоса среди молодого поколения
Астрономия и космос всегда привлекали внимание людей всех возрастов, но особенно ярко эта наука проявляется среди молодого поколения.
Техника Lenovo: надежность и долговечность при эксплуатации
Покупка технического устройства - это процесс, в котором важно учитывать различные нюансы, напрямую связанные с базовыми характеристиками приспособления и его функциональностью.
Лучшие модели наушников JBL: обзор и характеристики
JBL наушники широко известны высоким качеством звука и надёжностью, благодаря чему они завоевали доверие различных категорий пользователей — от меломанов до спортсменов.
e-Learning в цифрах: 6 общих фактов, много данных и прогнозы на ближайшее будущее
e-Learning – это обучение с помощью цифровых технологий (Интернета, электронных устройств и специальных программ). Процесс можно организовать в аудиториях или удалённо, одновременно для целой группы или по гибкому графику для каждого.
Компьютерный чип со встроенной тканью человеческого мозга получает финансирование от военных
В прошлом году ученые из Университета Монаша создали «DishBrain» — полубиологический компьютерный чип, в электродах которого в лаборатории выращено около 800 000 клеток мозга человека и мыши. Демонстрируя что-то вроде разума, он научился играть в пинг-понг за 5 минут.
