机译:交互式MOLP Explorer:一种基于图形的计算工具,用于多目标线性规划模型中的教学和决策支持
机译:类演化树:一种图形工具,用于支持探索性分类潜变量建模中用于康复研究的类数决策。
机译:VDMTools:在VDM中对形式建模的支持方面的进步
机译:用于构建图形用户界面形式模型的教学和支持工具
机译:统计和图形方法确定建筑物设计参数的重要性和相互影响,以通知和支持设计决策。
机译:Delaunay三角剖分支持的街区表示形式及其在城市建筑集合体中的应用
机译:用于构建图形用户界面形式模型的教学和支持工具
机译:VDmTools:支持VDm中的形式化建模