Методология проектирования информационных систем с промежуточным контролем