Ошибка!

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

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

Ошибка!

Ошибка!

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

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

Забыли пароль? Напишите ваш 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
Ветры в Большом Красном Пятне Юпитера усиливаются

Ветры в Большом Красном Пятне Юпитера усиливаются

Подобно скорости приближающегося гонщика, ветры на внешней «полосе» Большого Красного Пятна Юпитера усиливаются - открытие стало возможным только благодаря космическому телескопу Хаббл, который наблюдал за планетой более десяти лет.

Исследователи, анализирующие регулярные «отчеты о штормах» Хаббла, обнаружили, что средняя скорость ветра в пределах границ шторма, известная как высокоскоростное кольцо, с 2009 по 2020 год увеличилась на 8 %. В отличие от этого, ветры возле самой внутренней области красного пятна движутся значительно медленнее. Малиновые облака массивного шторма вращаются против часовой стрелки со скоростью, пре...
28.09.21 09:52
0
-1
Белые карлики становятся магнитными по мере взросления

Белые карлики становятся магнитными по мере взросления

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

Новое понимание магнетизма стареющих звезд из недавнего анализа ограниченной по объему выборки белых карликов предоставило лучшие доказательства, как частота магнетизма в белых карликах коррелирует с возрастом. Это поможет объяснить происхождение и эволюцию магнитных полей у белых карликов. Более 90% звезд нашей Галактики заканчивают свою жизнь белыми карликами. Хотя у многих есть магнитное поле,...
27.09.21 12:15
0
4
Будущие космонавты смогут получать воду и кислород из лунной почвы

Будущие космонавты смогут получать воду и кислород из лунной почвы

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

Двухэтапный процесс был разработан консорциумом ученых из Политехнического университета Милана, Европейского космического агентства, Итальянского космического агентства и корпорации космических систем OHB. Он основан на существующей технике, используемой в наземных применениях, и использует тот факт, что примерно 50% почвы во всех областях Луны состоит из диоксида кремния и оксида железа, которые ...
26.09.21 12:54
0
1
Обнаружены облака на далекой экзопланете

Обнаружены облака на далекой экзопланете

Международная группа астрономов не только обнаружила облака на далекой экзопланете WASP-127b, но и измерила их высоту с поразительной точностью.

Презентация Ромена Алларта на Европейском научном конгрессе (EPSC) 2021 показывает, как, объединив данные космического и наземного телескопов, команда смогла выявить верхнюю структуру атмосферы планеты. Это открывает путь для подобных исследований многих других далеких миров. WASP-127b расположилась на расстоянии более 525 световых лет от нас и представляет собой «горячий Сатурн» - гигантскую пла...
24.09.21 13:18
0
10
Hyundai покупает Boston Dynamics

Hyundai покупает Boston Dynamics

Hyundai Motor Group сделала важный шаг в мире мобильной робототехники, объявив о приобретении контрольного пакета акций Boston Dynamics у японской технологической компании Softbank.

Компания Boston Dynamics, наиболее известная своей неизменно впечатляющей роботизированной собакой по имени Spot, теперь будет работать вместе с автопроизводителем над технологиями, улучшающими мобильность человека. Boston Dynamics впервые представила Spot в июне прошлого года, и среди его стабильных маневренных роботов четвероногий, похожий на собаку, несомненно, стал звездой шоу. Мы видели, как...
22.06.21 10:42
0
-1
Запуск серии телевизоров Mi TV P1 в Европе: что готовит Xiaomi?

Запуск серии телевизоров Mi TV P1 в Европе: что готовит Xiaomi?

Xiaomi регулярно создает интересные новинки телевизоров для локального и мирового рынка.

Свежая линейка Mi TV P1 нацелена на Европу, ее анонс состоялся в Италии. Уже в мае представленные разработки должны появиться на прилавках магазинов в разных странах.  Mi TV P1 — это 4 модели, которые принадлежат к бюджетному и среднему сегменту цен. За самый дешевый телевизор Хиоми Mi TV P1 просят от 280 долларов.  Фишки и особенности Экраны у новинок жидкокристаллические. В кач...
28.05.21 23:11
0
1
Настольный голографический принтер создает 3D-анимации на дому

Настольный голографический принтер создает 3D-анимации на дому

Голограммы - одно из обещаний научной фантастики, которые остаются недостижимыми.

Бывший исследователь MIT Media Lab занимается краудфандингом настольного 3D-голографического принтера, который может создавать изображения, которые появляются в 3D и даже кажутся движущимися. Хотя отражающие экраны, гарнитуры и даже живые выступления мертвых артистов маскируются под голограммы, технически этот термин относится к определенному типу трехмерного изображения, закодированного на двухм...
08.03.21 21:49
0
4
Первый в истории микропроцессор Texas Instruments TMX 1795. Создан 50 лет назад, 24 февраля 1971 года.

Первый в истории микропроцессор Texas Instruments TMX 1795. Создан 50 лет назад, 24 февраля 1971 года.

Первый в истории микропроцессор Texas Instruments TMX 1795. Создан 50 лет назад, 24 февраля 1971 года.

Микропроцессор Texas Instruments TMX 1795. Предоставлено Computer History Museum.История начинается с Datapoint 2200 [1], «программируемого терминала», размер которого позволяет разместить его на рабочем столе. Первоначально Datapoint 2200 продавался как терминал, но на самом деле это был мини-компьютер, который можно было программировать на BASIC или PL / B. Некоторые люди считают Datapoint ...
24.02.21 20:08
0