Tool support for requirements analysis

Describes an approach to the provision of tool support for two particular aspects of requirements analysis: method support by active guidance, and specification interpretation and validation by animation. Method guidance is supported by a method model used to describe the sequence of method steps that should be followed. Animation provides an indication of the dynamic behaviour of the specified system by walking through a specification fragment to follow some scenario of interest. This approach to tool assistance has been tested by implementing a prototype set of tools for the CORE method and the Analyst workstation, and by application to a major case study. The current status of that work is described and evaluated