【摘 要】
：
软件工程中的需求具有抽象性和复杂性，未经验证的需求会给项目带来较大需求风险。该文提出一种基于有向生成图的需求验证方法，论述UML对话图建模和模型映射规则、任务分解策略
【机 构】
：
武汉大学信息管理学院,湖南大学软件学院
【基金项目】
：
国家自然科学基金资助项目(60673093);教育部重大攻关基金资助项目(05JZD00024)
论文部分内容阅读
软件工程中的需求具有抽象性和复杂性，未经验证的需求会给项目带来较大需求风险。该文提出一种基于有向生成图的需求验证方法，论述UML对话图建模和模型映射规则、任务分解策略和形式化描述，以及需求验证过程涉及的转化模型和算法。该方法有效克服了需求验证过程中的复杂性和经验操作。从理论上分析该方法的可用性，通过实例验证了该方法的有效性。
其他文献
国道是我国公路网的重要组成部分,在地方的经济社会发展中发挥了重要的作用。随着全国城市化进程的快速推进,很多国道干线已经深深地烙上了城市道路印记,这就需要部分城区段
为了优化鹧鸪菜人工育苗方法,为工业化生产鹧鸪菜提供科学依据和技术支持。利用植物细胞具有“全能性”,采用鹧鸪菜体细胞培育出再生苗种。结果在温度为20-25℃,光照强度为27
药用海藻──鹧鸪菜鹧鸪菜又名美舌藻，其形状象狐狸的尾巴，生着无数纤细短小的小枝，细长坚韧，全体成紫黑色，通常喜欢生长在温暖的河口附近的海水中、高潮岩石上，一般成熟于春夏之间
采用文献资料法,结合录像观看针对竞技健美操表现力的概念、表达形式以及竞技健美操比赛规则的变化对影响竞技健美操表现力的因素进行了分析阐述。研究发现：影响竞技健美操表
目的:观察消瘿合剂治疗桥本甲状腺炎的临床疗效,并探讨其作用机制。方法:将100例桥本甲状腺炎患者随机分为治疗组和对照组各50例。治疗组每日早晚饭后服用消瘿合剂30 mL,对照
目的探讨影响脑外伤致硬膜外血肿患者近期预后的相关因素。方法回顾分析在本院接受开颅手术治疗的170例脑外伤致硬膜外血肿患者的临床资料,观察患者近期预后情况,并采用Logis
Online Judge系统是ACM程序设计竞赛选手最常用的训练平台之一。本文针对湖南工学院师生在程序设计类课程、程序设计类竞赛等方面的实际需要,设计了一个功能完备的湖南工学院
车内空气污染物检测及控制的研究是对生命科学的尊重,是节能和环保发展的必然趋势,通过分析轿车内空气质量的变化状态、趋势,客观评价车内空气对车内人员的健康影响,为制定乘
千军万马的楚汉相争,居然在抱握弹奏的四弦琵琶中得到充分表现,这应当说是个奇迹,但这奇迹的出现并非偶然。显然是这件乐器经过千百年的发展,在演奏技巧和艺术表现方面积累
采用接触角/界面张力测定仪、电子顺磁共振波谱（ESR）、X 射线衍射仪（XRD）、傅里叶变换红外光谱仪（FT-IR）分析了炭化、微波处理后竹束的物理化学性能,利用经过不同预处理的竹束制备