Статья "Применение статического анализа при разработке программ" и статья "Применение технологии статического анализа кода при разработке параллельных программ" вышли в третьем номере журнала "Известия ТулГУ. Технические науки" за 2008 год.
Ознакомиться с электронными версиями статьей можно на нашем сайте.
В журнале рассматриваются научно-технические проблемы в области машиностроения и машиноведения, технологии и оборудование для обработки метолов давлением и резанием, моделирования сварочных процессов, вопросы транспорта, управления, вычислительной техники, информационных технологий и безопасности жизнедеятельности. Материалы предназначены для научных работников, преподавателей вузов, студентов и аспирантов, специализирующихся в области технических наук.