Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010) — различия между версиями

Материал из 0x1.tv

== Аннотация ==
<blockquote>
[http://alekseev-aleksey1.moikrug.ru/ {{Speaker|Алексей Алексеев]}} и {{Speaker|Николай Гребнев}} рассказали, как при разработке бизнес-приложений в модели [http://en.wikipedia.org/wiki/Domain-driven_design Domain-driven design] они предупреждают ошибки программиста с помощью статического анализа кода и доменной модели. А именно: возможности ORM-платформы по статическому анализу, преимущества широкого использования <tt>Linq</tt>, декларативных ограничений, модель состояний и формальной верификации элементов доменной модели.

* В чем заключается удобство разработчика по использованию статического анализа и простота применения механизмов для задания формальных ограничений на модель предметной области. Интеграция средств статического анализа ORM в среду разработки, невозможность игнорирования ошибок, гарантия прохождения всех статических проверок до первого запуска программы.

Версия 15:11, 10 июня 2016

Аннотация

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

Видео

on youtube

Подкаст

Презентация

Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели.pdf


Примечания