побудову предметної області, яка описує всі необхідні процеси з точністю, достатньою для однозначного проектування програмного забезпечення

функціональну модель предметної області для однозначного проектування програмного забезпечення

потреби замовника описані за допомогою функціональної моделі предметної області для однозначного проектування програмного забезпечення

всі необхідні процеси з точністю, достатньою для однозначного проектування програмного забезпечення

причинно-наслідкові зв'язки між ситуаціями і подіями, використовуючи структурний метод вираження знань про те, як функціонує програмне забезпечення