Finkelstein, L. and Huang, J. and Finkelstein, A. and 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.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 41Kb |
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 |
View download statistics for this itemArchive Staff Only: edit this record