Using units of measurement in formal specifications

1 May 1995

journal article
Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing

Vol. 7 (3) , 329-347
https://doi.org/10.1007/bf01211077

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 specification and design of software and computer systems. To demonstrate this, we present an extension of the Z specification notation with support for the incorporation of units in specifications and demonstrate the feasibility of static dimensional analysis of the resulting language.

Keywords

This publication has 4 references indexed in Scilit:

Putting Numbers into the Mathematical Toolkit
Published by Springer Nature ,1993
A case-study in timed refinement: a mine pump
IEEE Transactions on Software Engineering, 1992
A formal specification of an oscilloscope
IEEE Software, 1990
A Generalisation of Bags in Z
Published by Springer Nature ,1990