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.
![[thumbnail of 14.0_measurement2.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) 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 |
Archive Staff Only
 |
View Item |
