Ошибка!

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

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

Ошибка!

Ошибка!

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

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

Забыли пароль? Напишите ваш 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
Boeing завершила испытания двигателя

Boeing завершила испытания двигателя

Успешные испытания открывают путь к первому беспилотному полету на орбиту.

На испытательном стенде НАСА Белые пески в Нью-Мексико компания Boeing завершила испытания двигателей, которые будут использоваться для управления космическим кораблем с семью пассажирами для полета на орбиту и обеспечения движения для системы аварийного спасения. Во время испытаний гидразиновых монотопливных двигателей, изготовленных Rocketdyne, технические специалисты использовали модуль Starl...
27.05.19 02:48
0
2
Новый китайский сверхскоростной пассажирский экспресс будет развивать скорость 600 км в час

Новый китайский сверхскоростной пассажирский экспресс будет развивать скорость 600 км в час

Это будет по-настоящему скорый поезд.

Государственная железнодорожная компания Китая создала прототип невероятно быстрого поезда на магнитной подвеске. Новый прототип, построенный China Railway Rolling Stock Corporation (CRRC), предназначен для перевозки пассажиров со скоростью 373 миль в час (600 км/ч). Китай надеется, что поезд начнет перевозку пассажиров в 2021 году. «Возьмем дорогу из Пекина в Шанхай в качестве примера - считая в...
27.05.19 02:26
0
2
Великолепная туманность Ориона на новом фото

Великолепная туманность Ориона на новом фото

Туманность в глубоком космосе или космическая сладкая вата?

Этот снимок глубокого космоса, запечатленный в спектре видимого света, рисует четкую и красочную картину великой туманности Ориона. Туманность Ориона, также известная как Messier 42 (M42), в поперечнике около 24 световых лет и является частью гораздо более крупного комплекса молекулярных облаков Ориона. Туманность расположена в Млечном Пути на расстоянии около 1350 световых лет от Земли в созвезд...
26.05.19 00:25
0
3
Исследователи обнаружили неуловимые планеты-гиганты

Исследователи обнаружили неуловимые планеты-гиганты

Астрономы считают, что планеты, подобные Юпитеру, защищают нас от космических объектов, которые в противном случае врезались бы в Землю. Теперь они стали ближе к изучению того, действуют ли планеты-гиганты в качестве стражей систем в других частях галактики.

Астрономы считают, что планеты, подобные Юпитеру, защищают нас от космических объектов, которые в противном случае врезались бы в Землю. Теперь они стали ближе к изучению того, действуют ли планеты-гиганты в качестве стражей систем в других частях галактики. Команда под руководством Калифорнийского университета в Риверсайде обнаружила две планеты размером с Юпитер на расстоянии около 150 световых...
25.05.19 16:16
0
2
ИИ Сальвадор Дали жив и делает селфи в музее Флориды

ИИ Сальвадор Дали жив и делает селфи в музее Флориды

Посетителей музея Дали в Санкт-Петербурге, штат Флорида, теперь встречает виртуально воскрешенный Сальвадор Дали.

Цифровой Дали создан с использованием машинного обучения и технологии глубокой подделки, и запрограммирован общаться с людьми: от обсуждения погоды до съемки селфи с посетителями музея. Представленный на 115-ю годовщину рождения легендарного сюрреалиста, проект называется Dali Lives. Чтобы создать это сгенерированное цифровым способом изображение Дали, алгоритм ИИ проанализировал сотни интервью, ...
13.05.19 18:32
0
4
SpaceX запустит тысячи спутников на орбиту вокруг Земли

SpaceX запустит тысячи спутников на орбиту вокруг Земли

План SpaceX по запуску тысяч спутников на орбиту вокруг Земли был одобрен Федеральной комиссией по связи США.

Аэрокосмическая компания, принадлежащая предпринимателю-миллиардеру Илону Маску, может запустить первые из того, что в конечном итоге станет супер-созвездием из почти 12 000 спутников уже в мае. Спутники Starlink обеспечат дешевый и надежный доступ к Интернету по всему миру. SpaceX получила разрешение на запуск созвездия в ноябре 2018 года. Но с тех пор изменила свои планы размещения некоторых с...
29.04.19 17:19
0
6
Обновленный робот Handle работает на складе

Обновленный робот Handle работает на складе

Компания Boston Dynamics поделилась новым видео.

Немногие технологические компании становятся вирусными, как Boston Dynamics, благодаря своим роботам, которые могут подниматься по лестнице и открывать двери. На последнем видео главным героем стал «переосмысленный» старый робот Handle. Оказывается, он отлично подходит для складирования ящиков.Робот Handle - это «робот для мобильных манипуляций, разработанный для логистики», - говорится в описании...
31.03.19 16:43
0
4
Обзор Samsung Galaxy S10

Обзор Samsung Galaxy S10

В этой статье речь пойдет об этой модели, а точнее о ее основных характеристиках и интересных свойствах функционала.

Немного остановимся на технической части характеристик. Для покупателей представлен небольшой спектр возможных цветов мобильного телефона – это перламутр, черный оникс и аквамарин. Корпус смартфона сделан из металла с добавлением стекла. Экран 6,1 пикселей, что тоже довольно неплохо. Весьма мощный процессор – целых 8 ядер. Имеется поддержка карт памяти до 512 Гб. Сама память телефона составляет це...
20.03.19 13:06
1