Ошибка!

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

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

Ошибка!

Ошибка!

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

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

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

На шаг ближе к разгадке тайны метана на Марсе

Ученые сделали важный шаг на пути к раскрытию таинственного источника метана на Марсе.

Метан, выделяющийся из огромного кратера на Марсе, может быть признаком жизни или другой небиологической активности под поверхностью планеты. Некоторые считают, что в кратере Гейл, диаметром 154 км и возрастом около 3,8 миллиардов лет, находится древнее русло озера. Команда ученых смогла улучшить оценку метана, используя данные со спутника ExoMars Trace Gas Orbiter и ровера Curiosity, который соб...
21.08.19 21:08
0
3
Обнаружена черная дыры, поглощающая нейтронную звезду

Обнаружена черная дыры, поглощающая нейтронную звезду

Ученые впервые обнаружили черную дыру, занятую поглощением нейтронной звезды.

В среду 14 августа 2019 года машины для гравитационно-волновых исследований в США и Италии обнаружили рябь в пространстве и времени от катастрофического события, произошедшего на расстоянии около 8550 миллионов триллионов километров от Земли. Профессор Сьюзен Скотт из Научно-исследовательской школы физики АНУ сказала, что это достижение завершило тройку наблюдений команды в их первоначальном спис...
19.08.19 20:34
0
4
Телескоп Хаббл показывает две сливающиеся галактики

Телескоп Хаббл показывает две сливающиеся галактики

Две галактики пойманы в сумасшедшем космическом танце на свежем образе от космического телескопа.

Взаимное гравитационное притяжение притягивает галактики все ближе и ближе друг к другу на этом снимке от Хаббла, выпущенном 13 августа. Столкновение галактик, которое ученые называют UGC 2369, находится на расстоянии около 424 миллионов световых лет от Земли. Две совокупности звезд, газа и пыли, расположены так близко друг к другу, что из соединяет слабый материальный мост. Европейское космическ...
18.08.19 20:18
0
2
Эластичный датчик отслеживает здоровье своего владельца через кожу

Эластичный датчик отслеживает здоровье своего владельца через кожу

Исследователи из Стэнфордского университета разработали датчик для ношения на коже, который отслеживает показатели жизнедеятельности.

Только в прошлом году ученые из Стэнфордского университета разработали нательный датчик, который измеряет стресс с помощью уровня кортизола в поту, как в этом году новый прорыв. Новая технология BodyNet была разработана командой, возглавляемой профессором Женаном Бао. Она не новичок, ранее уже разработала такие инновации, как сенсорная кожа робота, имплантируемый датчик кровотока, который раствор...
17.08.19 23:59
0
4
Роботизированная рыба питается от жидкой батареи

Роботизированная рыба питается от жидкой батареи

Сосудистая система робота имитирует человеческую.

Исследователи из Корнелльского университета разработали роботизированную рыбу, которая питается от кровеносной системы, которая работает на «крови». В роботе не настоящая кровь, а батарея в жидкой форме, которая движется по кровеносной системе бота. Как бы ни были современны роботы, им все еще не хватает «многофункциональных взаимосвязанных систем, обнаруживаемых в живых организмах», пишут исслед...
01.07.19 15:52
0
9
ИИ Сальвадор Дали жив и делает селфи в музее Флориды

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

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

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

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

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

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

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

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

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