UCL  IRIS
Institutional Research Information Service
UCL Logo
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
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
  • 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.
Publication data is maintained in RPS. Visit https://rps.ucl.ac.uk
 More search options
UCL Researchers
Author
Dept of Computer Science
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by