软件工程的结构化生命周期方法是将软件开发的全过程划分为相互独立而又互相依存的阶段，软件的逻辑模型是形成于( )。