Средства формализации процесса определения спецификаций. Назначение языка (PSL) и анализатора определения задач (PSA). Разработка алгоритма решения задачи, критерии оценки его сложности. Локальный и глобальный уровни повышения эффективности алгоритмов.
Аннотация к работе
Эффективным средством формализации процесса определения спецификаций является система PSL/PSA, которая включает язык определения задач (PSL) и анализатор определения задач (PSA). Вторым этапом процесса разработки программного обеспечения является составление алгоритма решения поставленной задачи. При решении приведенных вопросов возникает необходимость оценки качества алгоритмов.