... формализации функциональных спецификаций; - методы и приемы алгоритмизации поставленных задач; - нотации и программные продукты для графического отображения алгоритмов; - алгоритмы решения типовых задач, области и способы их применения; - методы осмотра... ...