机译:形式规范的元模型方法和多洛杉矶建筑模型的一致管理
Tech Univ Munich Chair Computat Modeling & Simulat Arcistr 21 D-80333 Munich Germany;
Tech Univ Munich Chair Computat Modeling & Simulat Arcistr 21 D-80333 Munich Germany;
Building Information Modeling (BIM); Level Of Development (LOD); Building Development Level (BDL); Multi-LOD; Exchange Requirements (ER); Early design stages; Meta-model;
机译:用于多LOD建筑物模型的正式规范和一致管理的元模型方法
机译:共同演化的元模型及其实例模型:基于图变换的形式化方法
机译:为服务企业敏捷性基础构建一致的正式规范
机译:多种子体系统的正式规范:基于Meta模型的方法和高级Petri网 - 交通系统的案例研究
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:系统建模作为了解和建立柬埔寨非传染病管理共识的一种方法
机译:通过正式规范构建模型。
机译:构建和评估面向对象的数据库系统概念模型形式规范的方法