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 https://www.ucl.ac.uk/finance/research/rs-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
Reviewing and correcting specifications
  • Publication Type:
    Journal article
  • Publication Sub Type:
  • Authors:
    Finkelstein A
  • Publication date:
  • Pagination:
    183, 198
  • Journal:
    Instr Sci
  • Volume:
  • Issue:
  • Notes:
    Reviewing and correcting specifications 469
We outline a scheme for marking suggested edits and annotations on software specifications, a particularly complex class of structured document, during the process of review and correction. The scheme is based on a formal model of document construction and review and on typographic marking methods. The scheme permits precise and interpretable marking and annotation of documents which use many different notations. It supports and guides the process of correction. Some examples and a sample visual notation are given. Tool support for using this scheme is briefly discussed.
Publication data is maintained in RPS. Visit https://rps.ucl.ac.uk
 More search options
There are no UCL People associated with this publication
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by