一种新的软件需求工程方法及技术研究

本项目从软件工具的应用薄弱点分析出发，研究在需求分析阶段对软件开发的有效方法与技术支持，为软件的后端开发建立基础，为软件从需求定义层到实现层的转换提供一种新的途径。本项研究围绕需求工程，提出新的方法与技术来支持软件系统开发过程中的需求分析，建立能描述用户需求和系统外部行为的软件规范语言，支持需求规范的分析和证实。立足于软件规范层开展研究工作，研究实时系统的功能模型表达，强调从规范到实现、证实、功能验证的连续开发过程，保证规范层的中间产品在实现层上加以体现，重点研究实时系统的规范描述语言，通过渐进的规范变换、需求证实以及功能验证，使软件规范从需求定义层向实现层转换，形成软件进化原型。