{"title":"Formalizing software development methods","authors":"D. Dziergowski, É. Grégoire","doi":"10.1109/CMPEUR.1988.4955","DOIUrl":null,"url":null,"abstract":"A formal description of a software development method is a first step toward a rigorous implementation of tools, computer-assisted development methods, and, to some extent, toward automation of those methods. It should also be useful for an objective comparison or study of the power, nature, and limitations of methods. What can and what cannot be realistically formalized and automated in existing software development methods is rarely analyzed. The authors deal with the feasibility of such formalizations and with possible directions for automation. They sketch a framework for expressing the more formalizable aspects of methods.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"53 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPEUR.1988.4955","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
Abstract
A formal description of a software development method is a first step toward a rigorous implementation of tools, computer-assisted development methods, and, to some extent, toward automation of those methods. It should also be useful for an objective comparison or study of the power, nature, and limitations of methods. What can and what cannot be realistically formalized and automated in existing software development methods is rarely analyzed. The authors deal with the feasibility of such formalizations and with possible directions for automation. They sketch a framework for expressing the more formalizable aspects of methods.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
