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

Объектами исследования и разработки являются проблемы повышение эффективности и надежности компьютерного решения прикладных задач за счет совершенствования программного обеспечения перспективных вычислительных систем, разработка методов и средств функционального и логического программирования для поддержки супервычислений в рамках современных технологий, связанных с развитием телекоммуникационных сетей и центров коллективного пользования (ЦКП). Целью данной работы является развитие теории, методов и технологий оптимизирующей трансляции и конструирования эффективного, надежного, переносимого и адаптивного программного обеспечения для суперкомпьютеров и компьютерных сетей. Цель проекта - повышение эффективности и надежности компьютерного решения прикладных задач за счет совершенствования программного обеспечения перспективных вычислительных систем. Методы проведения работы: теоретико-графовые методы, методы трансформационного и объектно-ориентированного программирования, методы аннотирования программ, функциональных и логических спецификаций, специализации и визуальной обработки.