Конференция SYRCoSE

Posted by: Alexander Kamkin 5 months ago

Результаты проекта «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации» были представлены на 14-ой международной конференции Spring/Summer Young Researchers’ Colloquium (SYRCoSE), прошедшей в онлайн-формате 28-29 мая 2020 года.

Конференция SYRCoSE является площадкой, на которой рассматриваются как общие проблемы программной инженерии, так и важные конкретные задачи, стоящие перед исследователями. Из широкого спектра проблем программной инженерии конференция оставляет вне рамок рассмотрения вопросы организации производства программных продуктов, социальные и экономические аспекты развития программного обеспечения. Фокус конференции — это технологии разработки и анализа программных и программно-аппаратных систем, теоретические основы этих технологий и практика внедрения передовых решений в реальных проектах.

Нами были сделаны два доклада:

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

Currently unrated
Share on Twitter Share on Facebook