City Research Online

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

Finkelstein, L., Huang, J., Finkelstein, A. ORCID: 0000-0003-2167-9844 and Nuseibeh, B. (1992). Using software specification methods for measurement instruments: Part II - formal methods. Measurement, 10(2), pp. 87-92. doi: 10.1016/0263-2241(92)90017-X

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.

Publication Type: Article
Additional Information: © 1992 .This article has been published in Measurement, Elsevier. DOI: https://dx.doi.org/10.1016/0263-2241(92)90017-X
Publisher Keywords: Requirements analysis, formal specification, Z, measuring instrument systems
Subjects: Q Science > QA Mathematics
Q Science > QA Mathematics > QA76 Computer software
Departments: Presidents's Portfolio
Date available in CRO: 16 Jul 2021 14:44
Date deposited: 16 July 2021
Date of first online publication: 1992
URI: https://openaccess.city.ac.uk/id/eprint/26457
[img]
Preview
Text - Accepted Version
Download (42kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login