DSR logo

Веби­нар: как убе­дить­ся в пра­виль­ной ра­боте ва­шего ал­го­рит­ма?

14 июля 2020

DSR Corporation продолжает серию вебинаров, посвященных тонкостям разработки программного обеспечения. Сергей Хорошавин, Lead Software Engineer of DSR Corporation, выступит с докладом «Как быть уверенным, что мой алгоритм работает правильно? Формальные спецификации на примере TLA+».

На вебинаре поговорим о формальных спецификациях и покажем, как их можно использовать на примере языка TLA+.

  • разберём, зачем нужен такой инструмент;
  • исследуем области применения;
  • узнаем основные концепции TLA+ на примере простой модели;
  • покажем возможный процесс разработки более сложной модели;
  • затронем некоторые типовые проблемы, которые могут встретиться.

Вебинар будет полезен как начинающим, так и опытным разработчикам, а также архитекторам программного обеспечения.

Сергей Хорошавин закончил физический факультет ВГУ. Более 17 лет в IT. Любит сложные задачи, связанные с математикой и высокой производительностью. Сторонник open source.

Участие в вебинаре бесплатное, достаточно пройти быструю регистрацию. Начинаем 22-го июля в 19:00 по московскому времени.