{"title":"可靠的软件规范","authors":"J. McLean, C. Meadows","doi":"10.1109/CMPASS.1988.9637","DOIUrl":null,"url":null,"abstract":"A system that supports experimentation by specification writers with the consequences of their specifications, by automatically translating trace specifications into Prolog programs, is described. An introduction to trace specifications and Prolog is provided. An implementation-free semantics for a subset of Prolog that allows characterization of the class of specifications that can be mechanically translated into complete programs is developed. A grammar for a subset of translatable specifications is also described.<<ETX>>","PeriodicalId":224212,"journal":{"name":"Computer Assurance, 1988. COMPASS '88","volume":"41 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"The reliable specification of software\",\"authors\":\"J. McLean, C. Meadows\",\"doi\":\"10.1109/CMPASS.1988.9637\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A system that supports experimentation by specification writers with the consequences of their specifications, by automatically translating trace specifications into Prolog programs, is described. An introduction to trace specifications and Prolog is provided. An implementation-free semantics for a subset of Prolog that allows characterization of the class of specifications that can be mechanically translated into complete programs is developed. A grammar for a subset of translatable specifications is also described.<<ETX>>\",\"PeriodicalId\":224212,\"journal\":{\"name\":\"Computer Assurance, 1988. COMPASS '88\",\"volume\":\"41 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-06-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computer Assurance, 1988. COMPASS '88\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPASS.1988.9637\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer Assurance, 1988. COMPASS '88","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPASS.1988.9637","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A system that supports experimentation by specification writers with the consequences of their specifications, by automatically translating trace specifications into Prolog programs, is described. An introduction to trace specifications and Prolog is provided. An implementation-free semantics for a subset of Prolog that allows characterization of the class of specifications that can be mechanically translated into complete programs is developed. A grammar for a subset of translatable specifications is also described.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
