An editor for specifications in a software development support system

We have developed an editor for specifications, which enables a user to facilitate natural and efficient interactions with the software development support system. In this paper, we describe two functions required in the editor. First, we describe a function for preserving the document structure of the specification, enabling the system to maintain consistency of document structure with the user's edit operations. We have developed a document structure editor to implement this function. Second, we describe a function for preserving the correspondence between a specification document and the result of analysis that enables a user to create documents more efficiently. We propose a method, in which we introduce an identifier that is assigned to each sentence in the document, and the editor calculates minimal structural changes made by the operation as the range for analysis. Then, we implemented an editor for specifications, and we describe the result of experiments on our editor. Our editor enables the user to cut character input by 13% and analysis time by 86%.