{"title":"演进:对于软件开发来说，是一种比精化更实用的方法","authors":"Shaoying Liu","doi":"10.1109/ICECCS.1997.622305","DOIUrl":null,"url":null,"abstract":"Refinement of operations is well defined in terms of refinement rules and is considered as a reasonable discipline for software development. This paper, however, observes that refinement is not sufficient to serve this role for the entire software development process and then proposes evolution for substitution. We show that refinement is indeed a special case of evolution and evolution is transitive. A small case study is given to demonstrate that using evolution rather than refinement as the discipline for software development is a more practical approach. The idea presented in this paper may be controversial, but the author believes that this idea is more useful, practical, and instructive than refinement approach, and expects to inspire more discussions about this issue.","PeriodicalId":168372,"journal":{"name":"Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":"{\"title\":\"Evolution: a more practical approach than refinement for software development\",\"authors\":\"Shaoying Liu\",\"doi\":\"10.1109/ICECCS.1997.622305\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Refinement of operations is well defined in terms of refinement rules and is considered as a reasonable discipline for software development. This paper, however, observes that refinement is not sufficient to serve this role for the entire software development process and then proposes evolution for substitution. We show that refinement is indeed a special case of evolution and evolution is transitive. A small case study is given to demonstrate that using evolution rather than refinement as the discipline for software development is a more practical approach. The idea presented in this paper may be controversial, but the author believes that this idea is more useful, practical, and instructive than refinement approach, and expects to inspire more discussions about this issue.\",\"PeriodicalId\":168372,\"journal\":{\"name\":\"Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168)\",\"volume\":\"7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-09-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICECCS.1997.622305\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICECCS.1997.622305","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Evolution: a more practical approach than refinement for software development
Refinement of operations is well defined in terms of refinement rules and is considered as a reasonable discipline for software development. This paper, however, observes that refinement is not sufficient to serve this role for the entire software development process and then proposes evolution for substitution. We show that refinement is indeed a special case of evolution and evolution is transitive. A small case study is given to demonstrate that using evolution rather than refinement as the discipline for software development is a more practical approach. The idea presented in this paper may be controversial, but the author believes that this idea is more useful, practical, and instructive than refinement approach, and expects to inspire more discussions about this issue.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
