Ошибка!

Показать Ошибка!

Забыли пароль?

Ошибка!

Ошибка!

Скрыть Ошибка!

Скрыть Ошибка!

Забыли пароль? Напишите ваш email и мы отправим письмо с инструкциями.

Ошибка!

Обратно

Закрыть

Третья международная научно-практическая конференция "Инструменты и методы анализа программ" (TMPA-2015)

Третья международная научно-практическая конференция "Инструменты и методы анализа программ" (TMPA-2015)
Информация о ТМPA-2015 читайте в пресс-релизе.


Дата начала: 12.11.15
Дата окончания: 14.11.15

Место и адрес проведения: Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург, Политехническая, 29

 

Описание мероприятия:

Конференция пройдёт 12 - 14 ноября 2015 года и соберёт студентов, аспирантов и молодых учёных, специализирующихся в области разработки программного обеспечения и заинтересованных в независимой экспертизе своих исследований, а также признанных учёных, готовых поделиться своими инновационными разработками.   

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

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

К участию в программе конференции принимаются заявки в форме конкурсных докладов для отбора на рецензирование независимыми экспертами конференции "TMPA-2015", в качестве которых выступят российские и зарубежные учёные в области разработки и анализа программного обеспечения. 

 

Языки конференции - русский и английский.

 

Тематика конференции:

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

 

Организаторы:

  • Санкт-Петербургский политехнический университет Петра Великого, кафедра компьютерных систем и программных технологий института информационных технологий и управления СпбПУ; 
  • Федеральный исследовательский центр «Информатика и управление» Российской академии наук;
  • Компания Exactpro Systems, входящая в группу Лондонская фондовая биржа 

 

 

Для участия в мероприятии требуется предварительная регистрация

 

Подробную информацию Вы сможете найти на официальном сайте конференции tmpaconf.org, а также на следующих страницах в социальных сетях:

 

 

Контактная информация оргкомитета:

 

Партнёры:

 

  • Лондонская фондовая биржа (lseg.com
  • Компания GATElab (gatelab.com)

Комментарии:

Еще нет комментариев, станьте первым коментатором!
Войдите на зайт или зарегистрируйтесь, чтобы оставлять комментарии!
0
Оффшоры: что это и зачем они нужны бизнесу?

Оффшоры: что это и зачем они нужны бизнесу?

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

Оффшор - слово, которое часто вызывает интерес и множество вопросов. Для одних это таинственные финансовые схемы, для других - законный способ оптимизировать бизнес. Так что же такое оффшоры, зачем их создают, и насколько это легально? Оффшор - это компания, зарегистрированная в стране с особым налоговым режимом. Такие страны часто называют оффшорными зонами, и они предоставляют биз...
06.10.24 19:15
0
-1
Цветы: как они влияют на нашу жизнь и эмоции

Цветы: как они влияют на нашу жизнь и эмоции

Цветы играют особую роль в жизни каждого человека.

Цветы играют особую роль в жизни каждого человека. Они не только радуют глаз своей красотой, но и оказывают глубокое влияние на наше эмоциональное и психическое состояние. Разнообразие видов и оттенков делает цветы универсальным инструментом для создания атмосферы гармонии и уюта в любом пространстве. А букеты из цветовстановятся прекрасным способом выразить чувства и подарить радость близким...
10.09.24 06:41
0
3
Техника Lenovo: надежность и долговечность при эксплуатации

Техника Lenovo: надежность и долговечность при эксплуатации

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

Покупка технического устройства - это процесс, в котором важно учитывать различные нюансы, напрямую связанные с базовыми характеристиками приспособления и его функциональностью. Если речь о необходимости инвестировать свободные средства в обновление техники дома или в офисе, то тут лучше всего обращать внимание на изделия известных брендов. Технические приспособления с экономией места на располож...
15.07.24 05:25
0
2
Лучшие модели наушников JBL: обзор и характеристики

Лучшие модели наушников JBL: обзор и характеристики

JBL наушники широко известны высоким качеством звука и надёжностью, благодаря чему они завоевали доверие различных категорий пользователей — от меломанов до спортсменов.

JBL наушники широко известны высоким качеством звука и надёжностью, благодаря чему они завоевали доверие различных категорий пользователей — от меломанов до спортсменов. В этой статье мы представим подробный обзор лучших моделей наушников JBL и расскажем об их ключевых характеристиках, преимуществах и потенциальных недостатках. JBL Live 650BTNC: активное шумоподавление Наушники JBL Live 650BTNC ...
03.07.24 18:49
0
0
Оффшоры: что это и зачем они нужны бизнесу?

Оффшоры: что это и зачем они нужны бизнесу?

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

Оффшор - слово, которое часто вызывает интерес и множество вопросов. Для одних это таинственные финансовые схемы, для других - законный способ оптимизировать бизнес. Так что же такое оффшоры, зачем их создают, и насколько это легально? Оффшор - это компания, зарегистрированная в стране с особым налоговым режимом. Такие страны часто называют оффшорными зонами, и они предоставляют биз...
06.10.24 19:15
0
3
Техника Lenovo: надежность и долговечность при эксплуатации

Техника Lenovo: надежность и долговечность при эксплуатации

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

Покупка технического устройства - это процесс, в котором важно учитывать различные нюансы, напрямую связанные с базовыми характеристиками приспособления и его функциональностью. Если речь о необходимости инвестировать свободные средства в обновление техники дома или в офисе, то тут лучше всего обращать внимание на изделия известных брендов. Технические приспособления с экономией места на располож...
15.07.24 05:25
0
2
Лучшие модели наушников JBL: обзор и характеристики

Лучшие модели наушников JBL: обзор и характеристики

JBL наушники широко известны высоким качеством звука и надёжностью, благодаря чему они завоевали доверие различных категорий пользователей — от меломанов до спортсменов.

JBL наушники широко известны высоким качеством звука и надёжностью, благодаря чему они завоевали доверие различных категорий пользователей — от меломанов до спортсменов. В этой статье мы представим подробный обзор лучших моделей наушников JBL и расскажем об их ключевых характеристиках, преимуществах и потенциальных недостатках. JBL Live 650BTNC: активное шумоподавление Наушники JBL Live 650BTNC ...
03.07.24 18:49
0
3
e-Learning в цифрах: 6 общих фактов, много данных и прогнозы на ближайшее будущее

e-Learning в цифрах: 6 общих фактов, много данных и прогнозы на ближайшее будущее

e-Learning – это обучение с помощью цифровых технологий (Интернета, электронных устройств и специальных программ). Процесс можно организовать в аудиториях или удалённо, одновременно для целой группы или по гибкому графику для каждого.

e-Learning – это обучение с помощью цифровых технологий (Интернета, электронных устройств и специальных программ). Процесс можно организовать в аудиториях или удалённо, одновременно для целой группы или по гибкому графику для каждого. Ранее эта система была не популярна. Затем вспыхнул COVID-19, и все перешли на «удалёнку»: школы, ВУЗы, компании. Электронное обучение стало нужным в глобальном мас...
28.12.23 18:10
0