DocumentCode
3294007
Title
Deriving specification from requirements
Author
Johnson, W. Lewis
Author_Institution
Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
fYear
1988
fDate
11-15 Apr 1988
Firstpage
428
Lastpage
438
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN
0-89791-258-6
Type
conf
DOI
10.1109/ICSE.1988.93723
Filename
93723
Link To Document