Poor requirements are the cause of a large proportion of defects in released software. Requirements can be improved by using mathematical modelling techniques. These have a number of advantages and a singlemajor disadvantage–it is difficult to demonstrate a formal specification to a client or user. One proposed solution to this problem is to automatically derive (executable) prototypes of a sys...

Since the amount and representation of required information in BIM is extensive, a possible extension Information Delivery Specification (IDS) format presented. This intended to offer possibility include further checking resources process, perform geometric topological addition semantic checks. The IDS uses dynamic links integrate external calculation services into process. functions service fo...