Reviewing and correcting specifications

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.

[1]  J. Hartley.  The role of colleagues and text-editing programs in improving text , 1984, IEEE Transactions on Professional Communication.

[2]  Stephen Fickas,et al.  Being Suspicious: Critiquing Problem Specifications , 1988, AAAI.

[3]  Nancy A. Blumenstock.  The Chicago Manual of Style . By the University of Chicago Press. 13th ed. Chicago: University of Chicago Press, 1982. ix, 740 pp. Glossary of Technical Terms, Bibliography, Index. $25. , 1984, The Journal of Asian Studies.

[4]  Martin S. Feather.  Constructing Specifications by Combining Parallel Elaborations , 1989, IEEE Trans. Software Eng..

[5]  Lyn Pemberton,et al.  STARTING FROM THE WRITER: GUIDELINES FOR THE DESIGN OF USER‐CENTRED DOCUMENT PROCESSORS , 1990 .

[6]  Robert J. Whitrow,et al.  A Gesture Based Text Editor , 1988, BCS HCI.

[7]  Stephen Fickas,et al.  eing Suspicious: Criti uing Problem Specifications , 1988 .

[8]  Jeff Conklin.  Design rationale and maintainability , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

[9]  Judith Butcher.  Copy-Editing: The Cambridge Handbook , 1982 .

[10]  John D. Gould,et al.  Behavioral experiments on handmarkings , 1987, TOIS.

[11]  Anthony Finkelstein.  A scheme for review, annotation and correction of specifications , 1992 .

[12]  John D. Gould,et al.  Behavioral experiments on handmarkings , 1986, CHI '87.

[13]  Anthony Finkelstein,et al.  Multi-Party Specification , 1989 .