UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Using software specification methods for measurement instruments: Part II - formal methods

Finkelstein, L.; Huang, J.; Finkelstein, A.; Nuseibeh, B.; (1992) Using software specification methods for measurement instruments: Part II - formal methods. Measurement , 10 (2) pp. 87-92. 10.1016/0263-2241(92)90017-X. Green open access

[thumbnail of 14.0_measurement2.pdf]
Preview
PDF
14.0_measurement2.pdf

Download (42kB)

Abstract

In the second part of the paper, we investigate the applicability of formal methods to the specification of measuring instrument systems. We then conduct a case study in the widely used Z method. Using formal methods for specification purposes, one can obtain a clear understanding of user's problems, especially the aspects of functional behaviour, and therefore produce a correct specification document based on this understanding.

Type: Article
Title: Using software specification methods for measurement instruments: Part II - formal methods
Open access status: An open access version is available from UCL Discovery
DOI: 10.1016/0263-2241(92)90017-X
Publisher version: http://dx.doi.org/10.1016/0263-2241(92)90017-X
Language: English
Keywords: requirements analysis, formal specification, Z, measuring instrument systems
URI: https://discovery.ucl.ac.uk/id/eprint/1140
Downloads since deposit
589Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item