On the Application of Stratification to Requirement Specifications

Ann Q. Gates, University of Texas at El Paso
Daniel Cooke, University of Texas at El Paso

Document Type Conference Proceeding

D. Cooke and A. Gates, "On the application of stratification to requirement specifications," [1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Herndon, VA, USA, 1990, pp. 760-766.
doi: 10.1109/TAI.1990.130434


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.