需求工程是软件工程的一个子学科。需求工程的目的是给待开发或改造的预期软件一个清晰、完整的,精确且没有二义性的描述。而需求工程的核心则是工具,过程和标记。研究了需求的获取、描述、一致性检查等问题。其中,重点研究了需求描述和需求一致性检查。将需求分析过程分为需求获取、需求理解和需求分析三个阶段。采用华中科技大学软件工程实验室提出的基于自然语言的半形式化需求描述语言(NDL语言)对需求进行描述。为了提高NDL语言的描述能力,提出了一种对NDL语言进行扩充的机制。考虑到难以事先得出需求中所有可能存在的不一致性种类,将需求一致性检查分为两部分:基础一致性检查和规则库检查。基础一致性检查检查事先已经预料到了的不一致。规则库检查则可以在系统运行过程中不断提高系统的不一致性检查能力。研究了对基于NDL语言描述的需求进行分析以生成目标系统控制结构、数据结构和操作结构的方法。最后,基于上述的研究结果开发了需求分析辅助工具。该工具是SoftMaker的重要组成部分,支持从多角度获取需求,并对用NDL语言描述的需求进行一致性检查和分析,给出待开发系统的控制结构、数据结构和操作结构,并提供对NDL语言进行扩充和添加新的一致性检查方法的功能。