Они расскажут как при разработке бизнес-приложений в модели Domain-driven design они предупреждают ошибки программиста с помощью статического анализа кода и доменной модели. А именно: возможности ORM-платформы по статическому анализу, преимущества широкого использования Linq, декларативных ограничений, модель состояний и формальной верификации элементов доменной модели. Они разберут, в чем заключается удобство разработчика по использованию статического анализа и простота применения механизмов для задания формальных ограничений на модель предметной области. Интеграция средств статического анализа ORM в среду разработки, невозможность игнорирования ошибок, гарантия прохождения всех статических проверок до первого запуска программы. Ограниченные возможности запросов Linq к модели предметной области по сравнению с Linq to Objects и пути их преодоления. Они расскажут, как обстоят дела с аналогичными механизмами в других ORM-системах и почему они решили реализовать собственную платформу для поддержки разработки в рамках DDD.

1. Статический анализ кода ( на примере DDD-фреймворка) Алексеев Алексей [email_address] [email_address] Николай Гребнев [email_address] [email_address]

4. Человеческий фактор

6. Средства разработки

21. Свойства, используемые в запросах from Employee e in Session select e.IsManager from Employee e in Session select Subordinates.Count() > 0

30. Структура Крипке

31. Структура Крипке

34. CTL

39. Вопросы ? Следите за http://team.custis.ru