Under consideration for publication in Formal Aspects of Computing Using Units of Measurement in Formal Specifications

Abstract

In the physical sciences and engineering, units of measurement provide a valuable aid to both the exposition and comprehension of physical systems. In addition, they provide an error checking facility comparable to static type checking commonly found with programming languages. It is argued that units of measurement can provide similar benefits in the… (More)

Topics

  • Presentations referencing similar topics