DocumentCode
3060201
Title
On the application of stratification to requirement specifications
Author
Cooke, Daniel ; Gates, Ann
Author_Institution
Dept. of Comput. Sci., Texas Univ., El Paso, TX, USA
fYear
1990
fDate
6-9 Nov 1990
Firstpage
760
Lastpage
766
Abstract
The importance of stratification to automatic program generation is considered. Stratification of the variables of a weak specification seems to hold promise in the determination of the variable type, as well as in providing guarantees concerning the consistency, completeness, and ambiguity (or lack thereof) of the requirements specification
Keywords
automatic programming; computational complexity; formal specification; automatic program generation; completeness; consistency; requirements specification; variable type; weak specification; Application software; Automatic programming; Computer science; Data structures; Economic indicators; Logic programming; Problem-solving; Software engineering; Specification languages; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on
Conference_Location
Herndon, VA
Print_ISBN
0-8186-2084-6
Type
conf
DOI
10.1109/TAI.1990.130434
Filename
130434
Link To Document