Applying dimensional analysis

Dimensional accuracy is a fundamental topic in engineering disciplines . There, dimensional analysis is used an additional check of correctness . In the software discipline we realize th e importance of dimensional accuracy and can utilize tools to ensure the correctness of numerica l software models . A brute-force approach to dimensional correctness (by utilizing multiple dat a types) is outlined by [Rogers] and has been used by more than one application. [Rogers] also presented a particularly clean implementation by using a single discriminated type . The tradeoffs between these two implementations include the ease of insertion of new dimensions and the point in development where dimension mismatches are detected .