{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T08:54:03Z","timestamp":1730192043569,"version":"3.28.0"},"publisher-location":"Reston, VA","reference-count":10,"publisher":"American Society of Civil Engineers","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005,6,24]]},"DOI":"10.1061\/40794(179)14","type":"proceedings-article","created":{"date-parts":[[2005,11,14]],"date-time":"2005-11-14T18:15:25Z","timestamp":1131992125000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Code Checking Automation in Building Design: New Trends for Cognition"],"prefix":"10.1061","author":[{"given":"I. A.","family":"Santos","sequence":"first","affiliation":[]},{"given":"F.","family":"Farinha","sequence":"additional","affiliation":[]}],"member":"30","published-online":{"date-parts":[[2012,4,26]]},"reference":[{"key":"p_1","unstructured":"BENTLEY\n\n   (2003). http:\/\/www.bentley.com\/bim. CSI (2001). The CSI Catalog - Solutions 2001. The Construction Specifications Institute Alexandria VA Canada"},{"key":"p_2","first-page":"53","volume":"9","author":"Gielingh W.","year":"1988","journal-title":"Artificial Intelligence in Engineering"},{"key":"p_3","unstructured":"offers automatic plan checking based on IFC\" in Z. Turk and R. Scherer (eds.) E-Work and E-Business in Architecture Engineering and Construction Proc. of 4th European Conference on Product and Process Modelling Portoroz Balkema"},{"key":"p_4","unstructured":"Rotterdam pp. 467-471. Ray-Jones A. and David C. (1991). Construction Indexing Manual Abridged London. Santos I. A. Hern\u00e1ndez-Rodr\u00edguez F. and Bravo-Aranda G. (2002) \"A Normative Product Model for Integrated Conformance"},{"key":"p_5","unstructured":"Checking of Design Standards in the Building Industry\" in Z. Turk and R. Scherer (eds.) E-Work and E-Business in Architecture Engineering and Construction Proc. of 4th European Conference on Product and Process Modelling Portoroz"},{"key":"p_6","unstructured":"Balkema Rotterdam pp. 473-480. Santos I. A. (2003) Modelizaci\u00f3n de Edificios de Viviendas para la Verificaci\u00f3n Autom\u00e1tica de Requisitos Formales Asociados a las"},{"key":"p_7","unstructured":"Normas Generales de Construcci\u00f3n - Un Desarrollo Basado en los Est\u00e1ndares IFC y UML. PhD thesis Dpto. de Ingenier\u00eda"},{"key":"p_8","unstructured":"del Dise\u00f1o ESI The University of Seville. SEED (1997). \"SEED - A Software Environment to Support Early Phases in Building Design\". The Carnegie Mellon University USA"},{"key":"p_9","unstructured":"and The University of Adelaide Australia [http:\/\/seed.edrc.cmu.edu\/IJDC\/toc.html]. Smith B. Rinaudot G. R. Reed K. A. and Wright T. (1988). \"Initial Graphics Exchange Specification (IGES) Version 4.0\". SAE\/SP"},{"key":"p_10","unstructured":"88\/767 Society of Automotive Engineers Warrendale PA"}],"event":{"name":"International Conference on Computing in Civil Engineering 2005","location":"Cancun, Mexico"},"container-title":["Computing in Civil Engineering (2005)"],"original-title":[],"link":[{"URL":"http:\/\/ascelibrary.org\/doi\/pdf\/10.1061\/40794%28179%2914","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T23:51:17Z","timestamp":1490226677000},"score":1,"resource":{"primary":{"URL":"http:\/\/ascelibrary.org\/doi\/10.1061\/40794%28179%2914"}},"subtitle":[],"proceedings-subject":"Proceedings","short-title":[],"issued":{"date-parts":[[2005,6,24]]},"references-count":10,"alternative-id":["10.1061\/40794(179)14","10.1061\/9780784407943"],"URL":"https:\/\/doi.org\/10.1061\/40794(179)14","relation":{},"subject":[],"published":{"date-parts":[[2005,6,24]]}}}