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 typographie 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 sampIe visual notation are given. Tool support for using this scheme is briefly discussed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Butcher, J. (1975) Copy-editing: the Cambridge Handbook; CUP, Cambridge.
Conklin, J. (1989) ‘Design Rationale and Maintainability’ Proc. 22nd Hawaii International Conference on System Sciences; II, pp. 533–539; IEEE CS Press.
Feather, M. (1987) ‘Constructing Specifications by Combining Parallel Elaborations’ IEEE Trans. Software Engineering.
Fickas, S. and Nagarajan, P. (1988) ‘Being Suspicious: Critiquing Problem Specifications’ Proc AAAI 88; 1, pp. 19–24; Morgan Kaufinann.
Finkelstein, A (1990) ‘A Scheme for Review, Annotation and Correction of Specifications’ Imperial College, Department of Computing, Technical Report 90.
Finkelstein, A and Fuks H. (1989) ‘Multi-Party Specification’ Proc 5th International Workshop on Software Specification and Design, pp 185–195; IEEE CS Press (also as Special Issue of ACM Software Engineering Notes).
Gould, J. and Salaun, J. (1987) ‘Behavioural Experiments on Handmarkings’ (full reference not available).
Hartley, J. (1984) ‘The Role of Colleagues and Text-Editing Programs in Improving Text’ IEEE Trans. on Professional Communication; PC27,1.
Kramer, J., Finkelstein, A, Ng, K, Potts, C. and Whitehead, K (1987) ‘Tool Assisted Requirements Analysis: TARA final report’ Imperial College, Dept. of Computing, Technical Report 87/18.
Reiss, S. (1990) ‘On the Use of Annotations for Integrating the Source in a Program Development Environment’ in Finkelstein, A Tauber, M. and Traunmuller R. (eds.) Human Factors in Information Systems Analysis and Design; North Holland, pp. 25–36.
Sharples, M. and Pemberton, L. (1990) ‘Starting from the Writer: Guidelines for the Design of User-centred Document Processors’, Computer Assisted Language Learning, 2, 37–57.
The University of Chicago (1982) The Chicago Manual of Style (13th Edition), The University of Chicago Press, Chicago.
Votsis, G. and Papoulias, A (1989) ‘Internal Call Between Subscribers in the Same Digital Switching Exchange Equipment’ REX (Esprit Project 2080) Telecommunications Demonstrator.
Welbourn, L. and Whitrow, R. (1988) ‘A Gesture Based Text Editor’ HCI‘88 — People and Computers IV, Jones and Windsor (eds.), Cambridge University Press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Finkelstein, A. (1992). Reviewing and Correcting Specifications. In: Sharples, M. (eds) Computers and Writing. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-2674-8_14
Download citation
DOI: https://doi.org/10.1007/978-94-011-2674-8_14
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-5183-5
Online ISBN: 978-94-011-2674-8
eBook Packages: Springer Book Archive