{"title":"Re-use of formatted requirements specifications","authors":"Anthony Finkelsteiin","doi":"10.1049/SEJ.1988.0024","DOIUrl":"https://doi.org/10.1049/SEJ.1988.0024","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":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"1988-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76291817","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mascot 3: an informal introductory tutorial","authors":"G. Bate","doi":"10.1049/SEJ.1986.0017","DOIUrl":"https://doi.org/10.1049/SEJ.1986.0017","url":null,"abstract":"Mascot is a method for the design and implementation of large real-time concurrent systems. The original version was developed during the early 1970s, and the Mascot 2 handbook was published in 1980. It is hoped that the newest version, Mascot 3, will be published in 1987. This paper is intended to give an outline of the main features of the Mascot method and the new concepts introdced by Mascot 3.","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"1986-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75329586","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：