Ошибка!

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

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

Ошибка!

Ошибка!

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

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

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

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

Еще нет комментариев, станьте первым коментатором!
Войдите на зайт или зарегистрируйтесь, чтобы оставлять комментарии!
1
Астрономы нашли редкую каменистую планету, пригодную для поиска признаков жизни

Астрономы нашли редкую каменистую планету, пригодную для поиска признаков жизни

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

В эту зону входят расстояния вокруг звезды, на которых на поверхности планеты может существовать жидкая вода. Кроме того, масса планеты Wolf 1069 b похожа на массу Земли. Весьма вероятно, что она представляет собой каменистую планету, которая также может иметь атмосферу. Это делает планету одной из немногих перспективных целей для поиска признаков благоприятных для жизни условий и биосигнатур. Ко...
04.02.23 09:28
0
1
Телескоп Уэбба запечатлел раннее образование галактики

Телескоп Уэбба запечатлел раннее образование галактики

Астрономы из Центра космического рассвета (DAWN) раскрыли природу самой плотной области галактик, наблюдаемой космическим телескопом Джеймса Уэбба в ранней Вселенной.

Ученые считают, что это прародитель массивной галактики, похожей на Млечный Путь, наблюдаемой в то время, когда она все еще собиралась из более мелких галактик. Открытие подтверждает наше понимание того, как формируются галактики. Согласно нынешнему пониманию формирования структур во Вселенной, галактики формируются иерархическим образом, при этом небольшие структуры формируются сначала в очень р...
01.02.23 13:31
0
1
Молекулярные облака продлевают себе жизнь, постоянно собирая себя заново

Молекулярные облака продлевают себе жизнь, постоянно собирая себя заново

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

Чтобы создать звезды, сначала нужны гигантские облака молекулярного газообразного водорода. Это резервуары, которые могут подвергнуться катастрофическому коллапсу. При этом могут появиться сразу десятки и даже сотни звезд. Без резервуаров газа невозможно создать звезды, поэтому астрономов особенно интересует, как ведут себя эти облака. Эволюция облаков в галактической среде может рассказать об ист...
31.01.23 08:45
0
1
Ультратонкое покрытие делает солнечные батареи самоочищающимися

Ультратонкое покрытие делает солнечные батареи самоочищающимися

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

Солнечная энергия — крупнейший источник возобновляемой энергии, и быстро растет. Но, как можно себе представить, невозможно отправить кого-то со шваброй для очистки миллионов солнечных панелей в каждом парке. В идеале они бы сами очищались, и теперь исследователи из Института Фраунгофера в Германии добились успехов в этой концепции. Команда создала покрытие, которое меняет свою реакцию на воду в ...
30.01.23 13:27
0
5
iPhone 14 и 14 Plus предлагают лучшие камеры, лучшее время автономной работы и технологию SOS

iPhone 14 и 14 Plus предлагают лучшие камеры, лучшее время автономной работы и технологию SOS

7 сентября Apple анонсировала новый iPhone 14 вместе с более крупным 14 Plus. Оба телефона 5G оснащены новой системой камер, функцией обнаружения сбоев, экстренным вызовом SOS через спутник и лучшим временем автономной работы среди всех iPhone.

У базового iPhone 14 6,1-дюймовый дисплей Super Retina XDR, а модель Plus — 6,7 дюйма. Дисплеи оснащены прочным стеклом Ceramic Shield, а также водо- и пыленепроницаемы. Широко разрекламированная система камер включает в себя новые камеры Main, TrueDepth и Ultra wide. У камеры Main большая диафрагма 1,5 и пиксели размером 1,9 микрометра, что позволяет улучшать фото и видео при всех сценариях осв...
11.09.22 10:54
0
0
Дистанционно управляемые тараканы-киборги теперь питаются от Солнца

Дистанционно управляемые тараканы-киборги теперь питаются от Солнца

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

Насекомые используют целый ряд мощных органов чувств, они достаточно малы, чтобы добраться до недоступных для нас мест, они могут выживать в неблагоприятных условиях, они могут с легкостью карабкаться по поверхности или летать. Все это полезные атрибуты для роботов — или, что еще лучше, киборгов, если прикрепить электронные устройства к живым насекомым. За прошедшие годы многие виды насекомых под...
06.09.22 08:12
0
10
Оптический чип обрабатывает почти 2 миллиарда изображений в секунду

Оптический чип обрабатывает почти 2 миллиарда изображений в секунду

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

В основе нового чипа лежит нейронная сеть - система, моделирующая то, как мозговая информация. Эти сети происходят из узлов, которые соединяются друг с другом с появлением нейронов, и они даже «обучаются» органическому мозгу, занимаясь набором данных, например, распознавание объектов на изображениях или словах в речи. Со временем они намного лучше справляются с задачами. Но вместо электрических с...
08.06.22 07:10
0
3
Самые быстрые логические вентили могут сделать компьютеры в миллион раз быстрее

Самые быстрые логические вентили могут сделать компьютеры в миллион раз быстрее

Логические вентили - это фундаментальные строительные блоки компьютеров, и исследователи из Университета Рочестера разработали самые быстрые из созданных.

Уничтожая графен и золото лазерными импульсами, новые логические вентили работают в миллион раз быстрее, чем в существующих компьютерах, демонстрируя жизнеспособность «световолновой электроники». Логические элементы принимают два входа, сравнивают их, а затем выводят сигнал на основе результата. Например, они могут выводить 1, если оба входящих сигнала равны 1 или 0, или если один из них или ни о...
14.05.22 10:42
0