Персональные инструменты
 

ADD 2010: Отчет Глеба Тарасова/Леша и Коля

Материал из CustisWiki

< ADD 2010: Отчет Глеба Тарасова
Версия от 21:29, 16 ноября 2011; StasFomin (обсуждение | вклад) (Новая страница: «;[[Предупреждение ошибок программиста с помощью статического анализа кода и доменной моде...»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010)

По сравнению с первым прогоном на нашей демонстрации прогресс был просто огромный. Доклад прошел практически без накладок. Единственное, что Леша забыл рассказать, как структура Крипке разворачивается в бесконечное дерево, поэтому дальше народ немного перестал понимать суть, но те кто понял — прониклись. Недостатком было, что рассказывали про абстрактный «наш фреймворк» без ссылок, где он выложен в OpenSource. К SECR-у если его уже не выложим, будет совсем глупо.