数据细化的动画

Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI:10.1109/APSEC.2002.1182983

N. J. Robinson, C. Fidge

{"title":"数据细化的动画","authors":"N. J. Robinson, C. Fidge","doi":"10.1109/APSEC.2002.1182983","DOIUrl":null,"url":null,"abstract":"Refinement is the process of deriving verifiably-correct software from its specification. In practice, however refinement steps are complex and difficult to prove correct. We show how animation can be used to provide insights into the correctness, or otherwise, of refinement steps for the most general form of data refinement in which the whole system design can be changed in a single step.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"52 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Animation of data refinements\",\"authors\":\"N. J. Robinson, C. Fidge\",\"doi\":\"10.1109/APSEC.2002.1182983\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Refinement is the process of deriving verifiably-correct software from its specification. In practice, however refinement steps are complex and difficult to prove correct. We show how animation can be used to provide insights into the correctness, or otherwise, of refinement steps for the most general form of data refinement in which the whole system design can be changed in a single step.\",\"PeriodicalId\":132364,\"journal\":{\"name\":\"Ninth Asia-Pacific Software Engineering Conference, 2002.\",\"volume\":\"52 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-12-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Ninth Asia-Pacific Software Engineering Conference, 2002.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/APSEC.2002.1182983\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Ninth Asia-Pacific Software Engineering Conference, 2002.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/APSEC.2002.1182983","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

细化是从其规范中派生出可验证的正确软件的过程。然而，在实践中，细化步骤是复杂的，很难证明是正确的。我们将展示如何使用动画来提供对最一般形式的数据细化步骤的正确性或其他方面的见解，其中整个系统设计可以在单个步骤中更改。

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

查看原文本刊更多论文

Animation of data refinements

Refinement is the process of deriving verifiably-correct software from its specification. In practice, however refinement steps are complex and difficult to prove correct. We show how animation can be used to provide insights into the correctness, or otherwise, of refinement steps for the most general form of data refinement in which the whole system design can be changed in a single step.

求助全文

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

来源期刊

Ninth Asia-Pacific Software Engineering Conference, 2002.

自引率

0.00%

发文量