摘要: 软件工程学领域的研究成果表明,降低开发成本和维护费用、提高程序质量的最重要的一点就是要抓住软件的设计和审查这个关键。因此,设计方法的研究在软件工程学领域中,已成为重要的研究课题之一。从目前软件设计方法的研究现状来看,一般把大规模的软件设计过程分成软件系统设计(定义模块,确定模块体系)和程序设计(模块内的程序设计);对软件系统的设计来