건축법규의 형식화에 관한 연구 ( A study on the formalization of building codes )

This study aims at developing a integrated design system by expanding a Computeraided drafting system with building code checking routines. This expansion of the design system starts with the formalization of building codes. The formalization of building codes is to transform the syntax of the provisions into rules to check the regulations. The body of building codes are classified into three design stages: preliminary, schematic, final.