作者：王珊珊形式化开发方法选择策略
摘要：随着目前软件形式化开发方法的不断发展,形式化方法逐渐趋于多元化,在实际进行系统开发的过程中形式化方法的选择成为了一项非常难的题目,为了解决这一问题,本文主要针对目前常用的形式化方法进行了分析,应充分结合软件开发人员实际系统开发的需求,提出了一些系统开发过程中形式化开发方法的选择的合理建议。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《信息周刊》是一本有较高学术价值的周刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度，颇受业界和广大读者的关注和好评。 《信息周刊》已经形成了平面、网络、研究和市场活动的四维媒体平台，为中国商业科技决策者们提供一站式内容服务。
省级期刊
人气 753073 评论 72
人气 483992 评论 71
人气 463010 评论 66
部级期刊
人气 441880 评论 69
