Формализация проектирования программного обеспечения и ее использование в учебном процессе

аннотация В работе проведен системный анализ проектирования как процесса. Сделана попытка оценить состояние проектирования как процесса на качественной шкале степени формализации от методологии до математизации. Проектирование - многостадийный процесс и поэтому можно сказать, что некоторые стадии формализованы полностью до математического уровня, некоторые - в переходе, а некоторые вообще формализации не поддаются в принципе и останутся на уровне методологии. Для изучения и обучения переходные стадии проектирования являются самыми интересными стадиями и особый упор сделан именно на них и их использование в учебном процессе.