{"title":"On the application of stratification to requirement specifications","authors":"D. Cooke, A. Gates","doi":"10.1109/TAI.1990.130434","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1990.130434","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
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.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
