School of Computing The Robert Gordon University Aberdeen. Scotland, UK.;
机译:用于多LOD建筑物模型的正式规范和一致管理的元模型方法
机译:形式规范的元模型方法和多洛杉矶建筑模型的一致管理
机译:为服务企业敏捷性基础构建一致的正式规范
机译:需求规格的正确形式化:用于构建形式化模型的V模型
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:通过正式规范构建模型。
机译:构建和评估面向对象的数据库系统概念模型形式规范的方法