10.3969/j.issn.1000-3428.2008.22.009
基于有向生成图的需求验证方法
软件工程中的需求具有抽象性和复杂性,未经验证的需求会给项目带来较大需求风险.该文提出一种基于有向生成图的需求验证方法,论述UML对话图建模和模型映射规则、任务分解策略和形式化描述,以及需求验证过程涉及的转化模型和算法.该方法有效克服了需求验证过程中的复杂性和经验操作.从理论上分析该方法的可用性,通过实例验证了该方法的有效性.
需求验证、有向生成图、对话图模型
34
TP311(计算技术、计算机技术)
国家自然科学基金资助项目60673093;教育部重大攻关基金资助项目05JZD00024
2009-02-16(万方平台首次上网日期,不代表论文的发表时间)
共5页
25-28,31