Логика Хоара — поиск смысла в программных конструкциях Мастер-классы
Доклад принят в программу конференции
Тезисы
В результате мастер-класса слушатели будут уметь объяснять с точки зрения математики разные свойства языков программирования, чтобы писать адаптивный и верифицируемый код.
Евгений Тюменцев
Директор компании по разработке программного обеспечения.
В прошлом занимался профессионально разработкой многопоточных кросс-платформенных приложений на С++. Код, написанный 14 лет назад, до сих пор работает в составе IBM Watson.
Преподаватель курсов OTUS:
* Архитектура и шаблоны проектирования;
* Супер-интенсив по паттернам проектирования;
* Разработчик C++.
Другие доклады секции Мастер-классы
Lean, Agile и трансформация культуры
Александр Зиза
Aletheia Digital
Инструменты декомпозирования, планирования и приёмки задач, которые идеально подходят для удалённой работы, но останутся эффективными и после возвращения в офис
Алексей Ягур
YouDo
Менеджмент серверов с помощью Forge и непрерывный деплой с помощью Envoyer
Егор Герасимчук
DotsPlatform
Svelte 101
Павел Малышев
Mustlab
Безопасность WEB
Иван Юшкевич
Hacktory
Источники сопротивления изменениям
Александр Зиза
Aletheia Digital
Практикуем принцип "Convention over Configuration (CoC)" (соглашения по конфигурации) для Java-функционала
Вячеслав Лапин
xCritical Software
Делаем идеальный питч для стартапа
Александр Горный
United Investors
Архитектурные ошибки в разработке фреймворка автоматизации тестирования
Семён Вяземский
QA Automation Lead в Beeline
CLI в Node.js
Александр Коржиков
Dev IT Engineer ING Group (Нидерланды)
Ситуационное руководство — модели, ошибки, практики
Александр Зиза
Aletheia Digital
Мастер-класс: Проблемы внедрения Observability для разработчиков
Елена Граховац
GetYourGuide (Берлин)