作者：奚岩形式化语言b差异比较
摘要：对形式化方法中B语言和UML/OCL语言进行了概述,并依据软件开发的生命周期对B语言与OCL语言差异进行了分析比较,对B语言和UML/OCL语言此两种形式化语言的异同与各自适用的范围加以比对介绍、归纳总结。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《科学技术创新》（CN：23-1600/N）是一本有较高学术价值的大型旬刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《科学技术创新》杂志以刊登实用信息技术转让科研成果为主要内容，侧重于科研成果转让，同时为广大科技、经济工作者提供一个展示平台，以弘扬科教兴国、科学技术是第一生产力为办刊宗旨，读者对象为广大科技、经济教育工作者和中小企业。
省级期刊
人气 846706 评论 70
人气 754048 评论 72
人气 485097 评论 71
人气 465121 评论 66
