FProg SPb (Июль 2022)
Оффлайн встреча 28 июля в 19-30 по адресу пр. Кима, 6, 4 этаж, оф. 423 (Health Samurai) Вход свободный
В программе:
- Краткий обзор инструментов формальной спецификации/верификации для программистов (Антон Трунов)
- тестирование на основе модели — как способ формализации и автоматизации тест-дизайна (Артём Страхов)
Регистрация