Title :
Deriving specification from requirements
Author :
Johnson, W. Lewis
Author_Institution :
Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
Abstract :
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
Keywords :
expert systems; software engineering; specification languages; text editing; complete system description; development process; formal transformations; high-level editing commands; knowledge-based specification assistant; requirements; software engineering; specification development; Automatic programming; Computer bugs; Contracts; Feathers; Formal specifications; Intersymbol interference; Software maintenance; Specification languages; US Government; Writing;
Conference_Titel :
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN :
0-89791-258-6
DOI :
10.1109/ICSE.1988.93723
