Методы и средства поддержки применения теоретико-графовых методов для конструирования эффективных и надежных программ

Создание эффективных и надежных программ нельзя представить себе без теоретико-графовых методов и алгоритмов. Цель проекта – разработка методов и средств поддержки накопления и широкого использования знаний по теоретико-графовым методам и алгоритмам конструирования эффективных и надежных программ. В результате выполнения проекта будут разработаны новые методы и алгоритмы визуализации графовых моделей и анимации графовых алгоритмов. Будут построены рабочие версии вики-словаря по графам в информатике WikiGRAPP и вики-энциклопедии теоретико-графовых алгоритмов решения задач информатики и программирования WEGA, охватывающие современные теоретико-графовые методы и алгоритмы конструирования эффективных и надежных программ, а также различные инструменты их поддержки, в том числе системы визуализации графовых моделей большого размера и анимации графовых алгоритмов.