机译:优先计划SoftSpez和国际INT研讨会针对工程应用的软件规范技术的集成
机译:Matchmycolor宣布完成其色彩规格软件与PACKZ印前软件的集成
机译:半自动化的体系结构抽象规范,用于支持软件演进
机译:使用逻辑规范的半自动软件集成:应用于数值模拟软件的应用
机译:协作软件系统的协调协议的规范和半自动验证
机译:CoverageTool:半自动图形软件:植物表型的应用程序
机译:在增量成形过程的数值模拟中集成用于刀具路径生成的新软件工具
机译:联合半自动力(JsaF)和其他任务仿真软件中高保真武器模型的建模和仿真框架总结;最终的评论。 2007年11月26日至2008年5月30日