Automated Code Compliance Checking; Building Information Modeling; Visual Language; ISARC 2015;
机译:群集信息类型用于建筑信息模型的语义丰富,以支持自动代码合规性检查
机译:建筑法规的计算机表示,用于自动合规性检查
机译:通过模型检查自动进行视觉建模语言的形式验证
机译:基于视觉语言和建筑信息建模的自动化代码合规性检查
机译:设计建筑围护结构时自动进行代码合规性检查
机译:建立基于自然语言处理的自动问题清单:在开发的早期阶段学到的教训
机译:基于可视化语言和建筑信息模型的自动代码合规性检查