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