Deriving specification from requirements
W. Lewis Johnson · 2003
A description is given of an approach to specification development in which the specification arises naturally through the requirements analysis process. The emerging specification is developed into a complete system description using formal transformations called high-level editing commands. Automated support for this development process within the knowledge-based specification assistant is described. This support involves applying high-level editing commands, assisting in the choice of editing commands, and tracking the effects of these commands.>