UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

REVIEWING AND CORRECTING SPECIFICATIONS

FINKELSTEIN, A; (1992) REVIEWING AND CORRECTING SPECIFICATIONS. INSTR SCI , 21 (1-3) 183 - 198.

Full text not available from this repository.

Abstract

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.

Type: Article
Title: REVIEWING AND CORRECTING SPECIFICATIONS
UCL classification: UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
URI: http://discovery.ucl.ac.uk/id/eprint/153768
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