Развитие теории и методов анализа и проектирования программ. Этап 1отчет