- Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010)
Доклад Леши Алексеева и Коли Гребнева про наш CIS Uni.Net. Ребята волновались, где-то затягивали изложение, где-то, наоборот, слишком ужимали. Ну, как говорится, первый блин комом, а дальше будет лучше.
В целом мне понравилась практика доклада вдвоем. Представление о предмете получается более объемное, один докладчик при случае может поддержать второго.
Что касается собственно фреймворка, то, кажется, люди не слишком хорошо поняли, что же он из себя представляет. Это не очень удивительно – с этим докладом мы зашли сильно «сбоку», фреймворка целиком не было видно. Зато людям немножко вынесли мозг структурами Крипке, формулами темпоральной логики, и они ходили под впечатлением: «Ух ты! У CUSTIS есть фреймворк для статической проверки кода!». Интересно еще узнать, что люди пишут (если пишут) в блогах по поводу этого докалада.
А может, так и делать? У меня даже возникла идея следующего доклада «сбоку» - про систему прав в CIS-Uni.Net на основе ролей и предикатов.
