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 |
|
Text
- Accepted Version
Download (42kB) | Preview |
Export
Downloads
Downloads per month over past year
Metadata
Metadata