Теоретические основы и методы анализа и проектирования программ. Итоговый отчетотчет