热门搜词
建筑大数据
工程监管
大数据+
数据价值
建设领域
云计算
地下综合管廊
BIM技术
一带一路
建设工程
建筑业
建筑施工
建筑工程
海绵城市
装配式建筑
设计规约文档的形式是具有特定形式的图形加上形式或非形式的正文。可选择的形式主要有定义逻辑模块的方框图、实体一联系图、数据流、控制流和状态转换图等。书写设计规约的形式化语言有SETL语言、OBJ语言和Larch 语言等。 2100433B