Using units of measurement in formal specifications
Using units of measurement in formal specifications
复制标题
在正式规范中使用测量单位
DOI：
--
复制
发表时间：
1995
影响因子：
1
通讯作者：
Brendan P. Mahony
中科院分区：
文献类型：
--
作者：
I. Hayes;Brendan P. Mahony
在物理科学和工程中，测量单位为物理系统的阐述和理解提供了宝贵的帮助。此外，它们还提供了与编程语言中常见的静态类型检查相当的错误检查工具。有人认为，测量单位可以在软件和计算机系统的规范和设计中提供类似的好处。为了证明这一点，我们提出了 Z 规范表示法的扩展，支持在规范中合并单位，并证明了对所得语言进行静态尺寸分析的可行性。
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.