Using Units of Measurement in Formal Specifications.

Ian J. Hayes Brendan P. Mahony

Published in: Formal Aspects Comput. (1995)

Keyphrases

formal specification
model checking
object oriented design
specification languages
specification language
process algebra
formal methods
concurrent systems
software components
reverse engineering
design methodology
protocol specification
real world
access control
general purpose
case study
information systems