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 & 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
[thumbnail of 14.0_measurement2.pdf]
Preview
Text - Accepted Version
Download (42kB) | Preview

Export

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login