Describir: Modeli i metody issledovanija vyčislitel'nych sistem