https://lib.custis.ru/index.php?action=history&feed=atom&title=ADD_2010%3A_%D0%9E%D1%82%D1%87%D0%B5%D1%82_%D0%93%D0%BB%D0%B5%D0%B1%D0%B0_%D0%A2%D0%B0%D1%80%D0%B0%D1%81%D0%BE%D0%B2%D0%B0%2F%D0%9B%D0%B5%D1%88%D0%B0_%D0%B8_%D0%9A%D0%BE%D0%BB%D1%8F 2026-04-12T16:54:38Z История изменений этой страницы в вики MediaWiki 1.26.4 https://lib.custis.ru/index.php?title=ADD_2010:_%D0%9E%D1%82%D1%87%D0%B5%D1%82_%D0%93%D0%BB%D0%B5%D0%B1%D0%B0_%D0%A2%D0%B0%D1%80%D0%B0%D1%81%D0%BE%D0%B2%D0%B0/%D0%9B%D0%B5%D1%88%D0%B0_%D0%B8_%D0%9A%D0%BE%D0%BB%D1%8F&diff=32227&oldid=prev 2011-11-16T18:29:35Z

<p>Новая страница: «;[[Предупреждение ошибок программиста с помощью статического анализа кода и доменной моде...»</p> <p><b>Новая страница</b></p><div>;[[Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010)]]<br /> <br /> По сравнению с первым прогоном на нашей демонстрации прогресс был просто огромный. Доклад прошел практически без накладок. Единственное, что Леша забыл рассказать, как структура Крипке разворачивается в бесконечное дерево, поэтому дальше народ немного перестал понимать суть, но те кто понял — прониклись. Недостатком было, что рассказывали про абстрактный «наш фреймворк» без ссылок, где он выложен в OpenSource. К SECR-у если его уже не выложим, будет совсем глупо.</div>

StasFomin