Building Information Modeling

"Many researchers and software developers have put a lot of effort into finding solutions for automated code checking. This book is a good summary of these efforts and provides readers with a comprehensive understanding of the status of such technologies in the industry. It also guides readers on implementation of such techniques using the platforms and tools currently available in the industry."
...