- Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010)
Речь шла cis-uni.net, но под соусом DDD-фреймворка. Кстати, мне кажется, выигрышный ход. Это вам не еще один какой-то там ORM.
Полностью пересказывать не буду, проще спросить у докладчиков презентацию, да почитать категорию CustIS_Uni.Net: Атрибуты-состояния_CIS-Uni.Net и CISUniNet:Model_Checking.
Сложилось впечатление, что доклад перегружен, Linq там было лишним. Вместо этого стоило четче рассказать про состояния и проверки: у слушателей сложились непонятки по поводу того, какие проверки compile-time, а какие run-time.