Ошибка!

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

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

Ошибка!

Ошибка!

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

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

Забыли пароль? Напишите ваш 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)

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

Еще нет комментариев, станьте первым коментатором!
Войдите на зайт или зарегистрируйтесь, чтобы оставлять комментарии!
2
Gaia: самые точные данные о почти двух миллиардах звезд

Gaia: самые точные данные о почти двух миллиардах звезд

3 декабря международная группа астрономов анонсировала самый подробный каталог звезд в огромной полосе нашей галактики Млечный Путь.

Измерения положения, движения, яркости и цвета звезд входят в третий ранний выпуск данных космической обсерватории Gaia Европейского космического агентства, который теперь общедоступен. Первоначальные результаты включают первое оптическое измерение ускорения Солнечной системы. Набор данных и ранние научные открытия были представлены на специальном брифинге, организованном Королевским астрономическ...
03.12.20 17:40
0
1
Камера DECam сделала самую глубокую фотографию Магеллановых облаков

Камера DECam сделала самую глубокую фотографию Магеллановых облаков

Изображения из Обзора Магеллановой звездной истории (SMASH) показывают поразительный семейный портрет наших галактических соседей - Большого и Малого Магеллановых облаков.

Снимки представляют собой часть второго выпуска данных самого глубокого и обширного исследования Магеллановых облаков. Наблюдения состоят из примерно 4 миллиардов измерений 360 миллионов объектов. Портрет двух астрономических соседей по галактике представляет новый взгляд на вихри из звезд, газа и пыли, составляющие близлежащие карликовые галактики, Большое и Малое Магеллановы облака - пару карли...
02.12.20 22:57
0
-1
Обнаружена звезда-компаньон V1787 Ori

Обнаружена звезда-компаньон V1787 Ori

Астрономы из Индии сообщили об открытии звезды-компаньона у звезды Хербига Ae средней массы, известной как V1787 Ori. Обнаруженный объект оказался типа М и примерно на 60% менее массивен, чем Солнце.

Расположенная примерно в 1260 световых годах от нас, в области звездообразования L1641 молекулярного облака Ориона A, V1787 Ori (также известная как Parenago 2649) - это молодая (возрастом менее 10 миллионов лет) звезда до главной последовательности спектрального класса A5. Поэтому на основании предыдущих исследований объект был классифицирован как звезда Хербига Ae. Масса V1787 Ori оценивается пр...
01.12.20 17:55
0
0
Дело о пропавшей темной материи: обнаружен новый подозреваемый в тайне галактики

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

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

Темная материя - невидимая субстанция, столь же загадочная, как следует из названия, - является ключевым ингредиентом, помогающим галактикам формироваться и развиваться. Она создает сильную гравитацию, необходимую для образования галактик и сохранения структуры существующих галактик в неприкосновенности. Но астрономы были озадачены с момента открытия в прошлом году NGC1052-DF4, стабильной и долг...
30.11.20 18:49
0
4
2D-материал помогает обрабатывать и хранить данные

2D-материал помогает обрабатывать и хранить данные

Инженеры EPFL создали новый компьютерный чип, который может обрабатывать и хранить данные в одной цепи.

Он изготовлен из двумерного дисульфида молибдена (MoS2), что открывает путь для создания более компактной и энергоэффективной электроники. Традиционные компьютеры обрабатывают данные в центральном процессоре, а затем передают их в другой раздел, например, на жесткий диск или твердотельный накопитель, для хранения. Эта система работала десятилетиями, но это не обязательно самый эффективный способ ...
08.11.20 15:26
0
5
Роботизированная медуза движется быстрее живой

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

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

Уникальное движение медуз сделало их популярной моделью обучения для исследователей робототехники, мечтающих разработать новые передовые аппараты, которые будут двигаться с большей эффективностью. Этот новый тип мягкого робота был разработан учеными из Университета Северной Каролины и Университета Темпл и фактически основан на их более ранней работе, в результате которой был создан быстро движущ...
02.07.20 21:52
1
6
HAMR-JR - один из самых маленьких и быстрых роботов

HAMR-JR - один из самых маленьких и быстрых роботов

Семь лет назад в Гарварде создали робота HAMR. И хотя бот уже был маленьким, его дизайнеры создали версию вдвое меньше. Знакомьтесь - HAMR-JR.

Оригинальный HAMR (Harvard Ambulatory MicroRobot) длиной всего 4,4 см (1,7 дюйма) и использует четыре ножки с керамическим приводом для перемещения со скоростью до 8,4 длин тела в секунду. Он был построен с помощью метода производства печатных плат микроэлектромеханических систем (PC-MEMS) Гарварда. Это включает в себя изготовление плоского листа микрослоистого материала, а затем с помощью лазера...
03.06.20 21:57
0
8
Технологический прогресс и его составляющие

Технологический прогресс и его составляющие

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

Сейчас нашу жизнь невозможно представить без электроники, абсолютно все сферы деятельности зависят от тех или иных приборов, помогающих человеку жить, работать, исследовать и создавать. Необходимым элементом для работы даже самого простого электронного устройства является печатная плата, главной задачей которой является электрическое и механическое соединение различных электронных компонентов.&nbs...
07.04.20 21:52
0