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
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;
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
DOI :
10.1109/TAI.1990.130434
