- Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010)
Рассказывали Алексей Алексеев и Николай Гребнев.
Докладчики говорили о роли человеческого фактора в разработке ПО и средствах для уменьшения стоимости исправления ошибок в коде. Были перечислены основные этапы жизненного цикла приложения в контексте стоимости исправления ошибок на каждом из них. Статическая верификация кода обеспечивает скорейшее выявление ошибок на этапе компиляции.
Далее докладчики рассказали о CustIS Uni.Net. Было продемонстрировано использование CustIS Uni.Net для построения domain model. Отдельно было сказано о возможности использования работы с объектами доменной модели при помощи LINQ.
После этого было продемонстрировано использование атрибутов для декларативного описания ограничений возможных состояния объекта доменной модели и переходов между состояниями.
Немного рассказали про Сomputation tree logic и возможности последней версии CustIS Uni.net, в частности возможность программной верификации метамодели с помощью CTL.
Общее впечатление — было интересно. Несмотря на то, что имею опыт работы с CustIS Uni.net, некоторые вещи были для меня в новинку (ограничения состояний, верификация метамодели с помощью CTL).