UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

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

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.

Full text not available from this repository.

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
Additional information: Using software specification methods for measurement instruments: Part II - formal methods 56362 10.1016/0263-2241(92)90017-X Imported via OAI, 7:29:01 7th Oct 2005
UCL classification: UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/153716
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item