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