Развитие теории и методов анализа и проетированиея программ. Отчет по этапу №4отчет