{"title":"软件制造计划","authors":"Brad J. Cox","doi":"10.1109/CMPSAC.1989.65103","DOIUrl":null,"url":null,"abstract":"It is argued that software is actually a hybrid at the intersection of two fundamentally different domains: the purely concrete plane of everyday physical, tangible experience and the purely abstract plane of intangible thought. The concrete plane is governed by well-understood laws of physics, and the abstract domain by its own laws of mathematics and logic. However, since software is a hybrid, the intersection of these two radically different domains, it does not fully abide by either set of laws. A high-level plan for winning the software industrial revolution is proposed. It is argued that it is necessary to deploy explicit specification tools, and new and largely unexplored kinds of tools. Their function is to gauge compliance between a given implementation of some part and the abstract specification of that part.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"107 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Planning for software manufacturing\",\"authors\":\"Brad J. Cox\",\"doi\":\"10.1109/CMPSAC.1989.65103\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"It is argued that software is actually a hybrid at the intersection of two fundamentally different domains: the purely concrete plane of everyday physical, tangible experience and the purely abstract plane of intangible thought. The concrete plane is governed by well-understood laws of physics, and the abstract domain by its own laws of mathematics and logic. However, since software is a hybrid, the intersection of these two radically different domains, it does not fully abide by either set of laws. A high-level plan for winning the software industrial revolution is proposed. It is argued that it is necessary to deploy explicit specification tools, and new and largely unexplored kinds of tools. Their function is to gauge compliance between a given implementation of some part and the abstract specification of that part.<<ETX>>\",\"PeriodicalId\":339677,\"journal\":{\"name\":\"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference\",\"volume\":\"107 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-09-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPSAC.1989.65103\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1989.65103","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
It is argued that software is actually a hybrid at the intersection of two fundamentally different domains: the purely concrete plane of everyday physical, tangible experience and the purely abstract plane of intangible thought. The concrete plane is governed by well-understood laws of physics, and the abstract domain by its own laws of mathematics and logic. However, since software is a hybrid, the intersection of these two radically different domains, it does not fully abide by either set of laws. A high-level plan for winning the software industrial revolution is proposed. It is argued that it is necessary to deploy explicit specification tools, and new and largely unexplored kinds of tools. Their function is to gauge compliance between a given implementation of some part and the abstract specification of that part.<>
![[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
