Обобщенное требование. Шаблон требования. Формальная спецификация и верификация программ. Последовательность состояний требования. Формальное описание и описание на естественном языке. Задачи передового педагогического опыта. Цель обобщения педагогического опыта