大学软件需求工程新进展.pptxVIP

课程提纲;内容提要;一. 基于知识的需求工程;基于知识的需求工程;基于知识的需求工程工具;二. 形式化需求分析方法;形式化方法的定义;引入形式化方法的目的;形式化需求分析方法注意事项;科学的过程模型的内容;形式化方法描述需求实例;Books的形式化描述;三. 软件需求自动化;需求工程自动化的重要性;需求工程自动化实例;软件需求功能的新发展所涉及到的：基于知识的需求工程，面向方面的需求分析方法，基于MDA的软件需求开发，形式化需求分析方法和软件需求自动化等，主要查阅与参考了以下论文： 1. MDA的梦想与实现--解救西西弗斯 2. MDA开发中的模型一致性检验 3. 基于UML扩展的面相方面建模 4. 基于形式化方法的需求分析 5. 基于知识需求的主动式知识系统 6. 具有用户参与的面向方面的工程项目管理需求分析 7. 软件需求定义语言NDRDL 8. 软件需求定义语言NDRDL的设计 9. 软件需求工程--方法及工具评述;10. 软件需求工程及其发展 11. 软件需求工程新发展 12. 软件需求规格自动生成工具 13. 数字图书馆非功能性需求的面向方面建模 14. 需求工程洋酒新进展 15. 一种基于面向方面的统一过程软件开发方法 16. 一种面向方面的非功能需求建模框架 17. 支持MDA的交互式需求获取方法及辅助工具