在分析软件发展中存在的问题及其产生的原因的基础上,总结了国内外学者在需求工程方面的最新研究成果及其发展趋势,阐述了软件需求的任务、层次、及其与其它过程的关系,同时对需求工程阶段的主要结果—软件需求规格说明文档SRS(Software Requirements Specifications )进行剖析,分析了现有编写SRS的几种语言的优缺点,提出了编写高质量SRS的八大基本准则,并给出了SRS的形式化结构描述.借助于集合论和图论工具,提出了一种面向业务过程的需求分析模型BORA(Business-Oriented Requirements Analysis).针对BORA模型,根据有向图基本理论,定义了描述业务流过程模型时所使用的语言符号及其形式化定义,建立了一套业务过程形式化语义体系,并以实例详细介绍了BORA模型的应用.提出了一个SRS自动生成系统SAGS(SRS Automated Generation System)实现框架,并建立了一套系统原型.借助于模糊数学的基本理论,分析了软件需求规格说明及其质量特性,建立了SRS的质量度量指标体系,提出了有关数据的获取以及模糊综合评价方法,同时对评价结果进行了定量分析,并给出了一个SRS模糊评判系统SFES(SRS FuzzyEvaluatingSystem)实现框架,详细分析了SFES系统的组成和实现的功能.最后总结了主要的研究成果,并指出了本领域需要进一步研究的问题和方向.