An Experiment in Knowledge Acquisition for Software Requirements
The Requirements Apprentice (RA) is a demonstration system that assists a human analyst in the requirements-acquisition phase of the software-development process. By applying the RA to another example it has been possible to show some of the range of applicability of the RA. The same disambiguation, formalization, and contradiction-resolution techniques are useful in the air traffic control and library database domains and some clichés are shared between them. In addition, the need for an extension to the RA is seen: summarization of contradictions could be improved.