为综合建模——意图和行为之间的差距

Design Automation and Microprocessors Pub Date : 1977-02-24 DOI:10.5555/800190.805502

G. Estrin

{"title":"为综合建模——意图和行为之间的差距","authors":"G. Estrin","doi":"10.5555/800190.805502","DOIUrl":null,"url":null,"abstract":"Aside from the continuing critical inputs of UCLA faculty and students SARA has been affected by [CLE74]; the work of the MIT Information Structures Group, Carnegie-Mellon studies, the Case-Western Reserve LOGOS project, Petri Net studies, the growing literature on structured programming and work on program verification. The body of this paper presents the highlights of our synthesis methodology, the set of primitives used by modeling tools in SARA and a fast look at the design procedure proposed to support the methodology.","PeriodicalId":251568,"journal":{"name":"Design Automation and Microprocessors","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1977-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"18","resultStr":"{\"title\":\"Modeling for synthesis - the gap between intent and behavior\",\"authors\":\"G. Estrin\",\"doi\":\"10.5555/800190.805502\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Aside from the continuing critical inputs of UCLA faculty and students SARA has been affected by [CLE74]; the work of the MIT Information Structures Group, Carnegie-Mellon studies, the Case-Western Reserve LOGOS project, Petri Net studies, the growing literature on structured programming and work on program verification. The body of this paper presents the highlights of our synthesis methodology, the set of primitives used by modeling tools in SARA and a fast look at the design procedure proposed to support the methodology.\",\"PeriodicalId\":251568,\"journal\":{\"name\":\"Design Automation and Microprocessors\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1977-02-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"18\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Design Automation and Microprocessors\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5555/800190.805502\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Design Automation and Microprocessors","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5555/800190.805502","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 18

摘要

除了加州大学洛杉矶分校教师和学生的持续关键投入外，SARA还受到[CLE74]的影响;麻省理工学院信息结构小组的工作、卡耐基梅隆大学的研究、凯斯-西储大学的LOGOS项目、Petri网的研究、关于结构化编程的越来越多的文献和关于程序验证的工作。本文的主体部分介绍了我们的综合方法的重点，SARA中建模工具使用的原语集，以及为支持该方法而提出的设计过程的快速查看。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Modeling for synthesis - the gap between intent and behavior

Aside from the continuing critical inputs of UCLA faculty and students SARA has been affected by [CLE74]; the work of the MIT Information Structures Group, Carnegie-Mellon studies, the Case-Western Reserve LOGOS project, Petri Net studies, the growing literature on structured programming and work on program verification. The body of this paper presents the highlights of our synthesis methodology, the set of primitives used by modeling tools in SARA and a fast look at the design procedure proposed to support the methodology.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助