{"title":"Re-use of formatted requirements specifications","authors":"Anthony Finkelsteiin","doi":"10.1049/SEJ.1988.0024","DOIUrl":null,"url":null,"abstract":"This paper presents the work of the TARA (Tool Assisted Requirements Analysis) project on the re-use of formatted specifications. The paper concentrates particularly on the established formatted requirements analysis method CORE (Controlled Requirements Expression). A model of re-use of formatted requirements specifications, derived in part from studies of analogy in legal reasoning, is presented. The model and its application to CORE is described in detail with a worked example based on standard specification case studies. A prototype tool, TRUE, constructed on the basis of the model is described.","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":"7 1","pages":"186-197"},"PeriodicalIF":1.2000,"publicationDate":"1988-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"52","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"e-Informatica Software Engineering Journal","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1049/SEJ.1988.0024","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 52
Abstract
This paper presents the work of the TARA (Tool Assisted Requirements Analysis) project on the re-use of formatted specifications. The paper concentrates particularly on the established formatted requirements analysis method CORE (Controlled Requirements Expression). A model of re-use of formatted requirements specifications, derived in part from studies of analogy in legal reasoning, is presented. The model and its application to CORE is described in detail with a worked example based on standard specification case studies. A prototype tool, TRUE, constructed on the basis of the model is described.
期刊介绍：
The purpose of e-Informatica Software Engineering Journal is to publish original and significant results in all areas of software engineering research. The scope of e-Informatica Software Engineering Journal includes methodologies, practices, architectures, technologies and tools used in processes along the software development lifecycle, but particular stress is laid on empirical evaluation using well chosen statistical and data science methods. e-Informatica Software Engineering Journal is published online and in hard copy form. The on-line version is from the beginning published as a gratis, no authorship fees, open access journal, which means it is available at no charge to the public. The printed version of the journal is the primary (reference) one.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
