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