可靠软件系统的设计方法

AFIPS '72 (Fall, part I) Pub Date : 1972-12-05 DOI:10.1145/1479992.1480018

B. Liskov

{"title":"可靠软件系统的设计方法","authors":"B. Liskov","doi":"10.1145/1479992.1480018","DOIUrl":null,"url":null,"abstract":"Any user of a computer system is aware that current systems are unreliable because of errors in their software components. While system designers and implementers recognize the need for reliable software, they have been unable to produce it. For example, operating systems such as OS/360 are released to the public with hundreds of errors still in them.","PeriodicalId":262093,"journal":{"name":"AFIPS '72 (Fall, part I)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1972-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"109","resultStr":"{\"title\":\"A design methodology for reliable software systems\",\"authors\":\"B. Liskov\",\"doi\":\"10.1145/1479992.1480018\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Any user of a computer system is aware that current systems are unreliable because of errors in their software components. While system designers and implementers recognize the need for reliable software, they have been unable to produce it. For example, operating systems such as OS/360 are released to the public with hundreds of errors still in them.\",\"PeriodicalId\":262093,\"journal\":{\"name\":\"AFIPS '72 (Fall, part I)\",\"volume\":\"15 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1972-12-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"109\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"AFIPS '72 (Fall, part I)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/1479992.1480018\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"AFIPS '72 (Fall, part I)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1479992.1480018","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 109

摘要

计算机系统的任何用户都知道，由于软件组件中的错误，当前的系统是不可靠的。虽然系统设计者和实现者认识到需要可靠的软件，但他们无法生产出可靠的软件。例如，OS/360等操作系统向公众发布时仍然存在数百个错误。

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

查看原文本刊更多论文

A design methodology for reliable software systems

Any user of a computer system is aware that current systems are unreliable because of errors in their software components. While system designers and implementers recognize the need for reliable software, they have been unable to produce it. For example, operating systems such as OS/360 are released to the public with hundreds of errors still in them.

求助全文

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

来源期刊

AFIPS '72 (Fall, part I)

自引率

0.00%

发文量