Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
Всем привет! Будем рады видеть вас на митапе в рамках Align TechTalks! Мы пригласили Java-эксперта – Алексея Рагозина – выступить с докладом по методам формальной верификации ПО для внутренней и внешней аудитории на площадке Align. Игорь Сухоруков расскажет про работу с техническим долгом в java проектах.
Спикеры
Алексей Рагозин специализируется на разработке высоконагруженных распределённых систем на платформе Java. Более чем за 10 лет работы в индустрии получил опыт разработки информационных систем в таких отраслях, как финансы, телеком, E-commerce и здравоохранение. С 2009 по 2011 возглавлял внедрение In-memory Data Grid-решений в компании GridDynamics. В октябре 2011 г. перешёл в Дойче Банк, где работал в роли ведущего архитектора платформы для построения трейдинговых приложений.
Игорь Сухоруков в java разработке с 2005 года. Побывал в «кровавом энтерпрайзе» заказной разработки, инвестиционных банках UBS, Deutsche Bank, работал в издательствах, в стартапе top4top, патчил Hadoop HDFS в 2008г в поисковой системе по изображениям Visuvi про которую рассказывал Джеймс Гослинг. Не понаслышке знаком с кодом с душком (code smell), огромными java проектами на 120 модулей, что зарыто в open source, c техническим долгом и SonarQube.
Формат
Continuous code quality в java проектах(1 час)
Формальные методы анализа алгоритмов (30 мин).
Аннотация
Формальные методы анализа алгоритмов
Традиционно, разработчики ПО привыкли полагаться на презумпцию невиновности — код работает пока не доказанного обратное.
Можно ли изменить этот подход? Можно ли математически доказать наличие у алгоритма необходимых функциональных свойств?
В докладе я расскажу о существующих системах формального анализа поведения алгоритмов (TLA+ и Alloy) и возможности их применения при разработке ПО.
Continuous code quality в java проектах
Как и зачем использовать SonarQube как часть процесса непрерывной интеграции кода проекта?
Вы сможете итеративно уменьшать технический долг и сложность кода, ускорять code review оставляя участникам процесса только творческие моменты. Сравним бесплатные статические анализаторы SonarJava, встроенный в IntelliJ Idea(Community edition) и платный PVS-Studio Java. И рассмотрим обзорно code style, юнит тесты, проверку структуры кода с помощью ArchUnit, автоматическую генерацию документации, BDD тесты как факторы прозрачности работы команды разработки, управления тех долгом и обмена знаниями.
Дополнительно
Язык докладов русский.
Для прохода на мероприятие обязательно наличие документа, удостоверяющего личность (паспорт/права).
Сбор гостей с 18:30 до 19:00