基于有向生成图的需求验证方法

软件工程中的需求具有抽象性和复杂性,未经验证的需求会给项目带来较大需求风险。该文提出一种基于有向生成图的需求验证方法,论述UML对话图建模和模型映射规则、任务分解策略和形式化描述,以及需求验证过程涉及的转化模型和算法。该方法有效克服了需求验证过程中的复杂性和经验操作。从理论上分析该方法的可用性,通过实例验证了该方法的有效性。

基于ERDAS的数字校园三维可视化

结合ERDAS软件和3DS MAX软件,对建立数字校园方法进行优化及完善。针对3D模型导入后纹理信息丢失的问题,实验改变以往传统的3DS MAX文件导出格式,实现建模和贴图在3DS MAX软件中一次性完成,充分利用3DS MAX软件贴图方便性,并对原有3D模型简化,以提高运行速度及显示效果,更新模型库。