Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to
your Research Finance Administrator. Your can find your Research Finance Administrator at http://www.ucl.ac.uk/finance/research/post_award/post_award_contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:
Email: portico-services@ucl.ac.uk
Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Email: portico-services@ucl.ac.uk
Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Publication Detail
Using software specification methods for measurement instruments: Part II - formal methods
-
Publication Type:Journal article
-
Publication Sub Type:JOUR
-
Authors:Finkelstein L, Huang J, Finkelstein A, Nuseibeh B
-
Publication date:1992
-
Pagination:87, 92
-
Journal:Measurement
-
Volume:10
-
Issue:2
-
Author URL:
-
Full Text URL:
-
Notes: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
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.
› More search options
UCL Researchers
